bimap

EitherOps

bind

Monad MonadOps