implementation module StdIOMonad // Deze module verpakt StdFile in een monadische jas import StdFile import StdMonad //import StdOverloaded :: IO a = IO [a] // kies een geschikte representatie voor IO :: Filemode = Lees | Schrijf :: Filenaam :== String :: Filehandle :== [] // kies een geschikte representatie voor Filehandle //instance toInt Filemode where // toInt Lees = FReadText // toInt Schrijf = FWriteText