Haskell有不少让人开阔思路的东西，也有不少看起来很美好，用起来不错，但是读起来费劲的东西。
data, type, newtype
Haskell里面用data来定义数据类型，它可以是这样：
data Mode = ReadMode | WriteMode
data Some = Some Int String
data Thing = { a :: Int, b :: String }
data Func a b = { func :: a -> b }
第一行定义了一个Mode，包含ReadMode和WriteMode；
第二行定义了一个普通数据类型Some，包含一个Int...
