テンプレート:Haskell chapter/Fun with Types

多相型の基礎
存在量化された型
型クラス
Phantom型
Generalised algebraic data-types (GADT)
Datatype algebra
型コンストラクタとKind