StackOverflow 文档 Haskell Language 教程 常见的 monad 作为免费 monad 常见的 monad 作为免费 monad 自由空身份 自由身份（Nat）作家 Nat Free Maybe MaybeT（作家 Nat） 免费（作家 w）作家 w 免费（Const c）要么 c 免费（Reader x）阅读器（流 x） 自由空身份