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:voigt at tcs.inf.tu-dresden.de