Control.Monad.Gen.Class
class
MonadGen
e m