Since version 7, GHC has decided to treat local let-definitions as monomorphic. We check how such a change would fare with OCaml.