haskell에서 여러 유형 변수의 순서 규칙은 무엇입니까?

Question

예를 들어, ParsecT에는 정의에 여러 유형 변수가 있습니다.

newtype ParsecT s u m a 
    = ParsecT {unParser :: forall b . 
       State s u 
       -> (a -> State s u -> ParseError -> m b) 
       -> (ParseError -> m b)     
       -> (a -> State s u -> ParseError -> m b) 
       -> (ParseError -> m b)     
       -> m b 
      } 

우리는 이렇게 할 수 있습니까?

newtype ParsecT m a s u  -- Only the order of s u m a is changed to m a s u. 
    = ParsecT {unParser :: forall b . 
       State s u 
       -> (a -> State s u -> ParseError -> m b) 
       -> (ParseError -> m b)     
       -> (a -> State s u -> ParseError -> m b) 
       -> (ParseError -> m b)     
       -> m b 
      } 

newtype을 정의 할 때 유형 변수의 순서에 관한 규칙이나 원칙이 있는지 궁금합니다.

Answer 1

이 경우 ParsecT s u m __이 모나드가되기를 원하기 때문에 a이 마지막입니다. 그런 식으로 우리가 파서가 찾는 것은 이전에 발견 한 것에 따라 달라질 수 있습니다. u 마지막으로 온 경우 우리는 우리가 우리가 m 먼저 넣으면 ParsecT s u은 '모나드 트랜스포머'

class MonadTrans t where 
    lift :: m a -> t m a 

instance MonadTrans (ParsecT s u) where ... 

되고 싶어요 때문에

instance Monad m => Monad (ParsecT s u m) where ... 

m 다음 - 투 - 마지막이 인스턴스를 쓸 수 없습니다 가능하지 않을 것이다. s 및 u의 주문과 유사한 이유가없는 것으로 보입니다.