我只想
class Trivial t
instance Trivial t
这在 Haskell 98 中当然没用，因为你可以忽略约束；但使用 ConstraintKinds，我们可以明确要求类型为 * -> Constraint 的参数。理想情况下，我想将其定义为“匿名类型级函数”\type a -> ()，但这显然是不可能的。
我应该做什么，使用预定义的东西，或者只是在我需要的地方本地定义该类(因为没有人需要访问它，因为实例是通用的，这似乎也很好)？
最佳答案
由于这看起来很受欢迎，我终于推出了这样一个简单的约束类 to a Hackage package .
import Data.Constraint.Trivial
id' :: Unconstrained t => t -> t
id' = id
关于haskell - 是否有 "trivial constraint"或 "object class"的标准实现？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/21605011/