Jaka jest reguła porządku wielu zmiennych typu w haskell?

Question

Na przykład ParsecT zawiera wiele zmiennych typu w swojej definicji.

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 
      } 

Czy możemy to zrobić w ten sposób?

Zastanawiam się, czy istnieje zasada lub zasada dotycząca kolejności zmiennych typu, gdy definiujemy typ nowy.

Answer 1

W tym przypadku, a jest ostatnim, ponieważ chcemy, aby ParsecT s u m __ było monadą, w ten sposób to, czego szukają nasi parserzy, zależy od tego, co znaleźli wcześniej i tak dalej. Jeśli u przyszedł ostatni nie mogliśmy napisać

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

m jest obok przedostatniej ponieważ chcemy ParsecT s u być „transformator monada”

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

instance MonadTrans (ParsecT s u) where ... 

jeśli stawiamy m pierwsze, to wystąpienie nie byłoby możliwe. Nie ma żadnego podobnego powodu dla zamawiania s i u.