http://stackoverflow.com/questions/28711563/ddg#28711778
You broadly dismissed my entire comment, which was completely correct about Ocaml, but I accept that you are correct about Haskell.