型クラスとは、和や積、逆数を取る演算など、複数の型に対してそれぞれのやり方で実装されるような演算を定義するものです。
型クラスは主に class コマンドで定義され、インスタンスを宣言するには instance コマンドを使用します。
class
instance