懶惰

我一定還不懂 recursion，否則怎麼會抓不到 initial algebras 或是 fixed points 那一堆東西呢？

〈Theorems for free!〉裡面的定理真的都是 natural transformation 的樣子耶！（Derivation of maximum segment sum 裡面也有出現。）可是我還不知道 natural transformations 有什麼用…

--
太懶了，進度很慢 XD。