いは単にクラス)で拡張し、それを用いる。——クラスメソッドと呼ばれる——多重定義演算の定義を含む。上で多重定義したいとしよう。aこの宣言は、このように読むことができる。定義)クラスメソッドが存在するときである。ここでは組み込み関数であるとしておく。一般には、どのようなユーザ定義の関数であってもよい。確かたど証明される」と読むことができる。型クラスを拡張を記述するのに用いられていたものである。型の式の正当性を確かめるために、これらを別の種に分類する。つの可能性のどちらかの形式である。すべての引数なしの型構成子を表す。当性は、種の推論により検査される。