haskell - 实例声明中的部分应用类型构造函数

Question

我有一个类型构造函数

type SimpleFcn α m = m α -> m α

我想在一个类中使用它，稍后将对其进行进一步参数化。即，

instance A (SimpleFcn α)

在我的情况下，类 A 中的任何函数都将在参数 m 中参数化。

class A β where f :: Monad m => β m
instance A (SimpleFcn α) where f x = x

针对这种情况的适当解决方法是什么？

Answer 1

不可能部分应用类型同义词，因为它们只是缩短代码的一种方法，而不是真正的类型级 lambda。您可以尝试使用 newtype 来代替。