Better typing errors for OCaml I developped a patch to report more comprehensible type error messages. It is described in this paper