StackOverflow 文件 Haskell Language 教程 常見的 monad 作為免費 monad 常見的 monad 作為免費 monad 自由空身份 自由身份（Nat）作家 Nat Free Maybe MaybeT（作家 Nat） 免費（作家 w）作家 w 免費（Const c）要麼 c 免費（Reader x）閱讀器（流 x） 自由空身份