That's why OCaml won over Haskell and Standard ML for me. The authors are not afraid to “get their hands dirty” with procedural constructs or even OOP for the cases where those things are useful.