typeclassが別のtypeclassのサブtypecassであるかどうかをどのように知ることができますか？

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上で見ることができます。