}多相型の基礎 25%.png
}存在量化された型 25%.png
}型クラス 25%.png
}Phantom型 25%.png
}Generalised algebraic data-types (GADT) 25%.png
}Datatype algebra 00%.svg
}型コンストラクタとKind 00%.svg
Template:Haskell chapter/Fun with Types