Don Stewart wrote:
If you can demonstrate the required laziness/strictness properties are identical, looks like a nice idea.
I think they are not identical, as something along Antoine's second example demonstrates.
-- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe