LYAHFGG:
Num は数の型クラスです。このインスタンスは数のように振る舞います。
Num
これは対応する Cats での型クラスを見つけることができなかったが、 spire は Numeric を定義する。Cats は、Bounds も定義しない。
Numeric
Bounds
これまで、色々と Cats では定義されていない型クラスをみていきた。 Cats の設計目標としてタイトなコアを作ることにあるため、これは必ずしも悪いことではない。