在haskell中使用forall量词的谓词？

Question

我想编写接受类型值的函数，它具有多参数类型类的实例以及每种类型。 像这样的东西（ test功能的签名是非法的）：

class Test a b

test :: forall a. (forall b. Test a b) => a -> a

有没有办法表达这种限制？

Answer 1

根据您的目标，可能会有更好的解决方案。

但是，使用约束包也可以提出要求。

{-# LANGUAGE FlexibleContexts, ConstraintKinds, MultiParamTypeClasses #-}

import Data.Constraint.Forall

class Test a b

test :: Forall (Test a) => a -> a
test = undefined