StackOverflow 文档 Haskell Language 教程 单子 单子 没有从 monadic 计算中提取值的一般方法 Monad 作为申请人的子类 Monad 的定义 可能的 monad IO monad 列出 Monad 做标记法 没有从 monadic 计算中提取值的一般方法