输出一个布尔值于codice_122单子之内。第二个函数在另一方面，只关心在文件系统上的起到作用，所以对于codice_122容器它们的输出为空。codice_122不只限于文件I/O；它甚至允许用户I/O，还有指令式语法糖，可以模仿典型的Hello World程序：main :: IO ()main = do不加语法糖，代码可以转写为如下单子管道（在Haskell中codice_126是codice_19的一种变体，用在只有单子作用是紧要的而底层结果可以丢弃的时候）：main :: IO