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 제약 조건이어야하며 그 코드는 모나드 적용 제안서의 구현보다 먼저 나온 것입니다.