Optimizing lazy evaluation requires this kind of hole-program optimizations. Non-strict semantics would be prohibitively slow without these optimizations. You

Optimizing lazy evaluation requires this kind of hole-program optimizations. Non-strict semantics would be prohibitively slow without these optimizations. You won't find a Haskell compiler that doesn't do this.