Каково правило порядка нескольких переменных типа в 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

В этом случае a является последним, потому что мы хотим, чтобы мы были монадой, так что наши поисковые парсеры могут зависеть от того, что они нашли раньше, и так далее. Если u пришел наконец-то мы не могли бы написать

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

m рядом до последнего, потому что мы хотим ParsecT s u быть «монады» трансформатор

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

instance MonadTrans (ParsecT s u) where ... 

Если поставить m первый, этот экземпляр было бы невозможно. Кажется, что не существует какой-либо подобной причины для заказа s и u.