Data.Either
data Either a b