補記

上星期五 meeting 的時候，scm 老師的髮型極端不正常，星期一 FLOLAC 開始的時候又變正常了 XD。

再聽一次 Max 的邏輯，還是一樣好聽 XD。不過邊聽邊覺得很神奇，為什麼去年我聽得懂啊？XD

看到各種邏輯用的 inductive definitions 和 FP 提到的一些標準函式，馬上就化成一個一個的 folds，base functors 的形狀和 algebras 自動跳到眼前 XD。

--
Accumulating parameters 那種的就還不太行…