Control.Monad.Instances
class Functor f
class Monad m