代數資料型態

對一個數做某種運算會發生什麼？將一些數結合後會是什麼？

• 從 tuple 到 product 型態
• 結合 sum 與 product 型態
• 減輕型態負擔的型態參數
• Maybe 有無、Either 對錯
• 型態類別定義、實作與衍生
• 揭露欄位名稱的 record
• type 與 newtype