Supermonads

class Bind m n p

class Return m

class Fail m

class CFunctor f

Conveniences

type family Monad m :: Constraint where ...