Haskellの「型」で混乱したので整理してみた - Qiita

はじめに haskellを趣味で勉強し始めて間もないのですが最初の壁が「型と型コンストラクタと型変数と型クラス」の違いがよくわからんというものでした。 なので今回はこいつらについて整理してみたいと思います。 型と型コンストラクタと型変数と型クラス 初めて本を読んだとき混乱したのが「型と型コンストラクタと型変数と型クラス」です。 まず最初にこいつらの関係を図にしてみたのが次です。型クラスだけは後から出します。 （図に書いてある＊とか＊->＊は本当は「型コンストラクタのカインド」というものですがわかりやすさのために許してください） カインド カインドは英語でkindと書いて「種類」という意味がある単語です。 要するに目の前にある型と型コンストラクタの種類を表現するためのものです。 基本的に「＊」と「->」の組み合わせだけで表現されます（型クラスだけは特殊な「Constraint：制約」というカ

[lotz84]

絵があって分かりやすい