我們如何知道類型類是否是另一個類型類的子類？

Question

如果我們做 let add a b = a+b 然後add :: Num a => a -> a -> a。

我們也知道1.5 :: Fractional a => a。 和add 1 1.5完美無瑕。

如果我理解正確的每一個具有Fractional實例的類型也有一個Num的實例，但是這個事實是如何明確的？

Answer 1

它在Fractional類的定義：

class Num a => Fractional a where 
    ... 

你可以看到它在GHCI打字:i Fractional，或在Haddock docs。