Pourquoi Control.Monad.Morph.hoist a-t-il une contrainte Monad?

Question

Control.Monad.Morph comprend

class MFunctor t where 
    hoist :: Monad m => (forall a. m a -> n a) -> t m b -> t n b 

Pour autant que je sache, aucun des cas inclus utiliser la contrainte Monad m. Comment pourrait-on le faire? Y at-il des instances valides qui utilisent la contrainte (c'est un peu difficile pour moi d'imaginer comment, étant donné que hoist id = id)? Quelle est la signification de la contrainte étant sur m et non n?

Answer 1

Control.Monad.Morph est un spin-off de pipes, donc je suppose qu'il est là parce que l'instance MFunctor pour Proxy a besoin ... Et bien sûr, il est used there.

instance MFunctor (Proxy a' a b' b) where 
    hoist nat p0 = go (observe p0) 
     where 
     go p = case p of 
      Request a' fa -> Request a' (\a -> go (fa a)) 
      Respond b fb' -> Respond b (\b' -> go (fb' b')) 
      M   m -> M (nat (m >>= \p' -> return (go p'))) 
      Pure r  -> Pure r 

Je ne pense pas qu'il est nécessaire cependant. m >>= return . f est fmap f m. Cela devrait probablement être une contrainte Functor et ce code est antérieur à l'implémentation de la proposition monad-applicative.