自行實作 Either
Either 也是看似很玄的概念，讓我們不用處理 Exception，且可使用 map 與 chain 直接改變 Either 內部 Value，其實只要 20 行左右就可自行實作 Either，讓我們對 Either 更加了解。
タグ : Category
自行實作 Maybe
Maybe 也是看似很玄的概念，讓我們不用處理 undefined，且可使用 map、ap 與 chain 直接改變 Maybe 內部 Value，其實只要 20 行左右就可自行實作 Maybe，讓我們對 Maybe 更加了解。
Monad 並沒有 Composition Law
Functor 的 Composition Law 是重構 Functor 常見技巧，但可惜 Monad 並不存在 Composition Law，但仍可使用 Function 都有的 Associativity Law 與 Monad 特有的 Associativity Law 來組合。
深入淺出 Monad Laws
Monad 遵循 3 個 Monad Laws，專門描述 chain 的 3 個特性，包含兩個 Identity Law 與一個 Associativity Law。
深入淺出 Functor
Functor 是學習 FP 第一個會遇到的 Algebraic Data Type，Maybe、Either 與 Future 都是基於 Functor 後加以展開。
深入淺出 Monad
Monad 一直是學習 Functional Programming 的一大關卡，事實上天天在用的 Maybe、Either 與 Future 都是 Monad，而 Promise 則是很像 Monad 但又不是真正 Monad。