idris-0.1.3: lib/either.idr

data Either A B = Left A | Right B;