Typeclasses 101: GHC trop "désireux" de dériver l'instance?

Question

Vu le code suivant:

class C a where 
    foo :: a -> a 

f :: (C a) => a -> a 
f = id 

p :: (C a) => (a -> a) -> a -> a 
p g = foo . g 

Maintenant, si je tente d'invoquer pF, GHC se plaint:

> p f 
No instance for (C a0) arising from a use of `p' 
In the expression: p f 
In an equation for `it': it = p f 

Je trouve cela un peu surprenant, puisque f accepte seulement un "a" qui doit être une instance de la classe C. Quelle est la raison?

Edit: Je sais que je ne définissaient pas une instance C mais ne devrait pas la réponse « appropriée » être:

p f :: (C a) => a -> a 

Answer 1

Lorsque vous mettez une expression ordinaire dans ghci , il essaie essentiellement de print, donc

> p f 

est approximatel y le même que celui ayant les éléments suivants dans un fichier

main :: IO() 
main = print $ p f 

Comme vous l'avez indiqué, p f :: (C a) => a -> a. Afin de print $ p f GHC doit évaluer p f. GHC ne peut pas évaluer une valeur avec un contexte de classe de type sans choisir un dictionnaire à transmettre. Pour ce faire, il doit trouver une instance C a pour tous les a, qui ne se termine pas. Il doit également trouver une instance Show pour a -> a. L'incapacité de trouver une ou l'autre de ces résultats dans deux erreurs

No instance for (Show (a -> a)) arising from a use of `print' 
No instance for (C a) arising from a use of `p' 

Answer 2

C'est la monomorphism restriction redoutée en action. Par défaut, GHC ne nous permet pas d'avoir des définitions de valeur de niveau supérieur sans annotations de type si le type inféré a une contrainte de classe. A) Suppression de la restriction en ajoutant {-# LANGUAGE NoMonomorphismRestriction #-} au début de votre source. Vous pouvez remédier à la situation par

a.

b) Ajout d'annotations de type de liaisons haut niveau concernés:..

foo :: C a => a -> a 
foo = p f 

c) Développer des définitions de fonction (si possible):

foo x = p f x