1. 21
  1.  

  2. 2

    A worthy goal. It’s worth mentioning this great paper where the author analyzes and adjusts confusing messages from the OCaml type checker: http://www.chargueraud.org/research/2015/ocaml_errors/ocaml_errors.pdf