haskell - 是否有针对部分类型同义词实例的 Haskell (GHC) 扩展？

Question

使用扩展TypeSynonymInstances可以编写这样的实例:

instances MyClass String where ...

使用newtype可以声明这样的实例:

newtype Kleisli m a b = Kleisli (a -> m b)

instance MyClass (Kleisli m) where ...

我现在不可能执行以下操作:

type Kleisli m a b = a -> m b

instance MyClass (Kleisli m) where ...

现在有一个扩展可以让我这样做吗？如果不是，什么问题禁止这样的扩展？

Answer 1

Haskell 不允许使用部分应用类型同义词，因为决定类型和部分应用类型同义词之间的相等性相当于决定两个函数是否相等。一般来说，这是无法确定的。

回想一下，类型同义词是类型级别的函数(它们的参数恰好是参数化的)。

这就是为什么通常鼓励在类型同义词的定义中尽可能依赖部分应用程序。尽管这在您的情况下似乎不可能。