ML is good at what it does but it doesn&#x27;t offer Haskell&#x27;s type system.<p>I won&#x27;t comment on history and I see no value in unpleasantness, but I do think that knowing what we know now, and particularly in the light of Idris, the advantages of laziness are overstated and strict languages (or possibly explicit codata) are the future of programming. And if true, that puts Haskell in an awkward position.