多态约束

Question

我有些做作类型：

{-# LANGUAGE DeriveFunctor #-} 

data T a = T a deriving (Functor) 

...这类型是一些人为的类的实例：

class C t where 
    toInt :: t -> Int 

instance C (T a) where 
    toInt _ = 0 

我怎样才能表达函数约束T a是所有a的某个类的实例？

例如，请考虑以下功能：

f t = toInt $ fmap Left t 

直觉上，我希望，因为toInt作品上T a所有a上述功能的工作，但我无法表达，在类型。这不起作用：

f :: (Functor t, C (t a)) => t a -> Int 

...因为当我们应用fmap类型已经成为Either a b。用我不能修复此：

f :: (Functor t, C (t (Either a b))) => t a -> Int 

...因为b并不代表普遍量化的变量。我也可以说：

f :: (Functor t, C (t x)) => t a -> Int 

...或使用forall x表明约束是适用于所有x。

所以我的问题是，如果有一种方式来说约束是多态的一些类型的变量。

Answer 1

使用constraints包：

{-# LANGUAGE FlexibleContexts, ConstraintKinds, DeriveFunctor, TypeOperators #-} 

import Data.Constraint 
import Data.Constraint.Forall 

data T a = T a deriving (Functor) 

class C t where 
    toInt :: t -> Int 

instance C (T a) where 
    toInt _ = 0 

f :: ForallF C T => T a -> Int 
f t = (toInt $ fmap Left t) \\ (instF :: ForallF C T :- C (T (Either a b)))