Tại sao Control.Monad.Morph.hoist lại có ràng buộc Monad?

Question

Control.Monad.Morph bao gồm

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

Theo như tôi có thể nói, không ai trong số các trường hợp bao gồm sử dụng Monad m hạn chế. Làm thế nào có thể làm như vậy? Có trường hợp hợp lệ sử dụng các ràng buộc (đó là một chút khó khăn cho tôi để tưởng tượng như thế nào, cho rằng hoist id = id)? Ý nghĩa của ràng buộc là gì trên m và không phải là n?

Answer 1

Control.Monad.Morph là một spinoff từ pipes, vì vậy tôi đoán nó ở đó vì MFunctor dụ cho Proxy cần nó ... Và đủ chắc chắn đó là 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 

Tôi không nghĩ rằng nó là cần thiết mặc dù. m >>= return . f là fmap f m. Nó có lẽ phải là một ràng buộc Functor và mã đó trước khi thực hiện đề xuất đơn lẻ.