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

Für zwei Aktionen c und d führt c >>= d zuerst Aktion c aus das Ergebnis wird an d übergeben.

(>>) :: IO a -> IO b -> IO b  
  
getLine >>= putStr >> putStr " ++stop++\n"  

bind für nachgelagerte Funktionen, die kein Ergebnis übernehme