On Tue, 9 Feb 2010 21:56:49 +0000, you wrote: >Monads are not commutative. A structure that would tell the compiler >that it's commutative, would give it more leeway for optimization (and >parallel execution). Thank you. "Not commutative" was the phrase I was looking for. -- Regards, Casey