implementation module Test import StdIOMonad // This assumes a file "camil.txt" and writes a line from it to "mart.txt" Start world = doIO ( open "camil.txt" Lees >>= \_ = open "mart.txt" Schrijf >>= \_ = readline "camil.txt" >>= \l = writeline (fromJust l) "mart.txt" >>= \_ = close "camil.txt" >>= \_ = close "mart.txt" ) world