At 2002-11-22 14:49, Ahn Ki-yung wrote: >'do' is a syntactic sugar of monadic operations. >The original form can be written as > >main = myReadFile >>= \s -> putStrLn s
That's correct. In this case, the 's' has type String. So the IO String has been 'converted' into a String, but only within the context of the IO monad. I think ultimately everything is syntactic sugar. -- Ashley Yakeley, Seattle WA _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
