vincolo polimorfico

Question

ho qualche tipo di artificioso:

{-# LANGUAGE DeriveFunctor #-} 

data T a = T a deriving (Functor) 

... e quel tipo è l'istanza di una classe artificiosa:

class C t where 
    toInt :: t -> Int 

instance C (T a) where 
    toInt _ = 0 

Come posso esprimere in un vincolo di funzione che è T a un'istanza di qualche classe per tutti a?

Ad esempio, si consideri la seguente funzione:

f t = toInt $ fmap Left t 

Intuitivamente, mi sarei aspettato la funzione di cui sopra a lavorare dal toInt opere T a per tutti a, ma non posso esprimere che nel tipo. Questo non funziona:

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

... perché quando applichiamo fmap il tipo è diventato Either a b. Non riesco a risolvere questo problema utilizzando:

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

... perché b non rappresenta una variabile universalmente quantificata. Né posso dire:

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

... o utilizzare forall x a suggerire che il vincolo è valido per tutti x.

Quindi la mia domanda è se c'è un modo per dire che un vincolo è polimorfico su alcune delle sue variabili di tipo.

Answer 1

Usando il pacchetto 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)))