Non-strict semantics would be prohibitively slow without these optimizations.
You won't find a Haskell compiler that doesn't do this.