Iustin Pop::
Nice example. PLEASE, show us the trace of its execution. Then, the discussion might be more fruitfulIn practice too:bar _ = do s<- readFile "/tmp/x.txt" return (read s) Once you're in a monad that has 'state', the return value doesn't strictly depend anymore on the function arguments.
Jerzy Karczmarczuk _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe