haskell - 更高种类的空约束

Question

我想要一个更高类型的空约束。

假设我有以下类(class):

class Category k where
  type Obj k :: * -> Constraint
  id  :: Obj k a => a `k` a
  (.) :: (Obj k a, Obj k b, Obj k c) => b `k` c -> a `k` b -> a `k` c

现在我想为函数创建一个实例，这样它就不会以任何方式限制元素。我应该给出什么作为 Obj 的实例？

instance Category (->) where
  type Obj (->) = ?
  id    = \a -> a
  f . g = \a -> f (g a)

Answer 1

您需要在类声明中为其提供一个显式的附加参数。

class Category k where
  type Obj k a :: Constraint

然后就可以很容易地使用较低种类的 () 空约束来定义实例。

instance Category (->) where
  type Obj (->) a = ()