YSITD_Chat_Bot says to #ysitd <koru1130>: (Reply to koru1130) 像這個 類型系統就可以保證 假設有兩個 list: a 跟 b 有個函數 ++ 可以把 a 跟 b 串在一起 得到的結果的長度必定等於 a 的長度 + b 的長度