haskell - 是否有 "trivial constraint"或 "object class"的标准实现？

Question

我只想

class Trivial t
instance Trivial t

这在 Haskell 98 中当然没用，因为你可以忽略约束；但使用 ConstraintKinds，我们可以明确要求类型为 * -> Constraint 的参数。理想情况下，我想将其定义为“匿名类型级函数”\type a -> ()，但这显然是不可能的。

我应该做什么，使用预定义的东西，或者只是在我需要的地方本地定义该类(因为没有人需要访问它，因为实例是通用的，这似乎也很好)？

Answer 1

由于这看起来很受欢迎，我终于推出了这样一个简单的约束类 to a Hackage package .

import Data.Constraint.Trivial

id' :: Unconstrained t => t -> t
id' = id