
9 Feb
2010
9 Feb
'10
9:56 p.m.
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).