Type de classe instancié sur chaque valeur d'un type de données

Question

Est-il possible de spécifier que chaque membre d'un datakind satisfait une classe de type, de sorte que la contrainte de classe est implicite? Par exemple.

data AB = A | B 
class Foo (a :: AB) where get :: proxy a -> String 
instance Foo A where get _ = "A" 
instance Foo B where get _ = "B" 

-- note lack of constraint here 
get' :: proxy (a :: AB) -> String 
get' = get 

Fondamentalement a est un AB donc nous sommes sûrs qu'il ya une instance de Foo pour elle. Je le trouve improbable - où va-t-il obtenir le dictionnaire Foo? - Mais j'ai vu de la magie dans ma journée.

Answer 1

Non, vous ne pouvez pas faire cela. Le principal problème est que, comme vous le mentionnez, il n'y a rien pour obtenir un dictionnaire. Mais l'autre problème est que votre affirmation selon laquelle chaque type dans AB est une instance de Foo est faux.

type family Broken :: AB where