Control.Super.Monad
class Bind m n p
class Return m
class Fail m
class Applicative m n p
pure
class Functor f
type family Monad m :: Constraint where ...