準備再撞牆

我覺得我寫 practical monad 大概已經到一個程度。例證是今天把一段 IO monad 的程式包進 StateT 裡面，然後用 replicateM_、sequence_ 等函式把一大堆 StateT 和 IO 串來串去，一切都發生得很自然，最後也沒有 type error！看來可以試著往 category-theoretical monad 挺進了 XD。

--
不過也可能是因為 IO 和 State 正好是我最常練習的兩種 monads XD。