type 类型别名
type IntList = [Int]
注意大写
newtype 类似data
但只允许有一个构造函数，构造函数只能有一个参数
newtype Cm = Cm double deriving Eq
优点：快
