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)