I really wish this was strict. I feel like most regular programmers could understand and benefit from using ML (or some similar language). In Haskell, lazines

I really wish this was strict. I feel like most regular programmers could understand and benefit from using ML (or some similar language). In Haskell, laziness kept the language pure while it was developing but now I'm not sure it should be the default. I like OCaml style opt in laziness. For most people, they could get a lot of pretty vanilla typed functional programming language. Polymorphic type inference, algebraic data-types, pattern matching. That gets you really far.