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最后因为我们想ParsecT s u m __成为一个monad,这样,我们的解析器寻找的东西可以取决于他们之前发现的东西,依此类推.如果u到了最后我们无法写

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

m是倒数第二,因为我们想ParsecT s u成为'monad变压器'

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

 instance MonadTrans (ParsecT s u) where ...

如果我们放第m一个,那么这个实例是不可能的.似乎没有成为的排序任何类似的理由s和u.