module EchoMonad import StdString // expliciete import uit StdEnv om nameclash met StdFunc / StdIOMonad te voorkomen import StdIOMonad import StdMaybeMonad Start :: *World -> (Void,*World) Start world = doIO echo world echo :: IO Void echo = read >>= \regel -> if (regel == "\n") (return Void) (write regel >>= \_ -> echo)