EitherWithFlatmap

MonadEither

empty

Monoid

equiv

TermExpr