The Importance of Ordered Definitions in Haskell

In Haskell, I can just have a let. And I just define, oh, here's 10 things I might need. Whether I need them or not doesn't matter. The compiler will figure it out. OCaml does have dead code elimination. But if it's used in one branch but not another, it's not quite dead code. Because everything in OCaml is a factful,. which is also very annoying. You need to get rid of these effects. So my job within Jane Street is to design and implement new language features for OCaml.