假设我有一个类型T a b,我想编写一个实例声明,例如Functor,范围的实例声明,a而不是 b.这可能没有定义newtype？
T a b
Functor
a
b
newtype
我读了haskell中多个类型变量的顺序是什么规则？这让我相信这是不可能的,但这对我来说似乎完全是武断的.
我希望的是:
instance Functor (T * b)
haskell
haskell ×1