Haskell 杂记 A monad is just a monoid in the category of endofunctors, what's the problem? -- James Iry Haskell 中的设计模式 NewType Smart Constructor RecursiveGo Evidence HasIt Phantom Type Parameter 未完待续 杂项 阶乘在 Haskell 中的 N 种写法 未完待续