Control.Monad.Morph.hoistにMonadの制約があるのはなぜですか？

Question

Control.Monad.Morph含まのインスタンスのいずれもMonad m制約を使用しない、私の知る限り

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

が含まれています。どのようにそうすることができますか？制約を使用する有効なインスタンスがありますか（それはhoist id = idのように、どのように想像するのが難しいですか）？ mにある制約の意味は、nではないのですか？

Answer 1

Control.Monad.Morphはpipesからのスピンオフであるので、私はProxyためMFunctorインスタンスがそれを必要とするので、それはそこだと思う...そして、それは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 

私はそれはしかし必要ではないと思います。 m >>= return . fはfmap f mです。おそらくFunctorという制約があり、そのコードはモナド適用提案の実装よりも前です。