補充 想當然爾,那些Reader(我還以為第30天會提)、Writer、State monad等我們通常不會自己實作,它們都放在transformers和mtl...
補充 Haskell的type system非常嚴格,不同的type就是不同的type,某個function如果需要Foo type的參數,你就絕對不可能傳一個...