Control.Monad.Compat
class
Monad
m
class
MonadPlus
m