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