Data.Neither
data AEither a b
aeither
data MEither a b
meither
data MEitherT e m a
mapMEitherT
throwMEither
class Neither e
mapLeft
mapRight
mapEither
lefts
rights
partitionEithers