IO-Behandlung

Typ IO a für Aktionen mit Resultattyp a, bsp:

readFile :: String -> IO String
putStrLn :: String -> IO () -- "kein" Resultat

main :: IO () -- Hauptprogramm
main = readFile "foo.bar" >>= putStrLn

benutzt Verknüpfung von Aktionen

(>>=) :: IO a -> (a -> IO b) -> IO b