Li-Fan Chen says to YSITD 像這個 類型系統就可以保證 假設有兩個 list: a 跟 b 有個函數 ++ 可以把 a 跟 b 串在一起 得到的結果的長度必定等於 a 的長度 + b 的長度