Haskellの型板は、その型の定義とは別の型に関連付けられた振る舞いを定義する手段です。例えば、Javaでは、型の定義の一部、つまりインターフェース、抽象クラスまたは具象クラスの中で振る舞いを定義しますが、Haskellはこれらの2つのことを別々に保ちます。
Haskellのbase
パッケージには既に定義されているいくつかの型式があります。これらの関係については、後述の「備考」セクションで説明します。
Typeclassopediaの記事の次の図は、Haskellのさまざまなタイプ間の関係を示しています。