> It was always a feature of OCaml that poorly written code will be compiled into a poorly written program.