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