restricción polimórfico

Question

tengo algún tipo artificial:

{-# LANGUAGE DeriveFunctor #-} 

data T a = T a deriving (Functor) 

... y ese tipo es la instancia de alguna clase artificial:

class C t where 
    toInt :: t -> Int 

instance C (T a) where 
    toInt _ = 0 

¿Cómo puedo expresar en una restricción de la función que es T a una instancia de alguna clase para todos a?

Por ejemplo, considere la siguiente función:

f t = toInt $ fmap Left t 

Intuitivamente, yo esperaría que la función anterior para trabajar desde toInt trabajos sobre T a para todos a, pero no puedo expresar que en el tipo. Esto no funciona:

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

... porque cuando aplicamos fmap el tipo se ha convertido en Either a b. No puedo solucionar este problema usando:

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

... porque b no representa una variable cuantificada universalmente. Tampoco puedo decir:

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

... o utilizar forall x que sugieren que la restricción es válida para todos x.

Así que mi pregunta es si hay una manera de decir que una restricción es polimórfica sobre algunas de sus variables de tipo.

Answer 1

Usando el paquete de 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)))