unit
EitherMonad
FutureMonad
MonadError
TryMonad
MonadErrorValueOps