StackOverflow 文件 Haskell Language 教程 單子 單子 沒有從 monadic 計算中提取值的一般方法 Monad 作為申請人的子類 Monad 的定義 可能的 monad IO monad 列出 Monad 做標記法 沒有從 monadic 計算中提取值的一般方法