Comment savons-nous si une typeclass est une sous-typeclass d'une autre typeclass?

Question

Si nous faisons let add a b = a+b alors add :: Num a => a -> a -> a.

Nous savons également que 1.5 :: Fractional a => a. Et add 1 1.5 fonctionne parfaitement.

Si je comprends correctement, chaque type qui a une instance de Fractional a également une instance de Num, mais comment ce fait est-il rendu explicite?

Answer 1

C'est dans la définition de la classe Fractional :

class Num a => Fractional a where
   ...

Vous pouvez le voir en tapant :i Fractional dans GHCi, ou sur les docs Haddock.