> By contrast, the reason that laziness has been "kept" is simply that switching to strictness now would break (almost) all Haskell programs! Also, laziness is

> By contrast, the reason that laziness has been "kept" is simply that switching to strictness now would break (almost) all Haskell programs! Also, laziness is a big part of why Haskell exists in the first place. "Strict Haskell" would arguably feel more like ML, Agda, Idris, etc. than (lazy) Haskell. In which case, just use one of those; they're also decent languages ;)