[Haskell-cafe] Re: Monad laws

Are you really sure Haskell compilers do that optimization? I would regard a compiler that does optimizations that are justified by laws that the compiler cannot check as broken.

You mean like the non-aliasing law in Fortran? Stefan ;-)