implementation module Test

import StdIOMonad

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