http://qiita.com/7shi/items/1ce76bde464b4a55c143
型（：型コンストラクタ）
コンストラクタ（：データコンストラクタ）
型クラス
data Color = Blue | Red | Green | White deriving Show main = do print Blue
Colorが型
Blueがコンストラクタ
Showが型クラス
用語がいろいろある
http://takafumi-s.hatenablog.com/entry/2015/09/25/123335
型変数 型クラス インスタンス 型クラス制約 型注釈 データ型 値コンストラクタ 型コンストラクタ 型引数 型シノニム 型(データ型)
