数据型
primitive types
日：文字列
phantom type 指data Phantom x a = Phantom a中x
data Phantom x a = Phantom a
x
linear type 属于部分構造型 限制変数的使用为一次
dependent type
类型-}