Quy tắc của thứ tự của nhiều biến kiểu trong haskell là gì?

Question

Ví dụ, ParsecT có nhiều biến kiểu trong định nghĩa của nó.

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 
      } 

Chúng ta có thể làm như thế này không?

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 
      } 

Tôi tự hỏi liệu có nguyên tắc hoặc nguyên tắc về thứ tự của các biến kiểu khi chúng tôi xác định loại mới hay không.

Answer 1

Trong trường hợp này, a là cuối cùng vì chúng tôi muốn ParsecT s u m __ là một đơn nguyên, theo cách đó, những gì mà trình phân tích cú pháp của chúng tôi tìm kiếm có thể phụ thuộc vào những gì họ đã tìm thấy trước đây, v.v. Nếu u đến cuối cùng chúng tôi không thể viết

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

m là next-to-cuối cùng vì chúng tôi muốn ParsecT s u trở thành một 'biến đơn nguyên'

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

instance MonadTrans (ParsecT s u) where ... 

Nếu chúng ta đặt các m đầu tiên, trường hợp này sẽ không thể. Dường như không có bất kỳ lý do tương tự nào cho việc đặt hàng của s và u.