Ocaml does also not have a bad error message: $ ocaml OCaml version 4.13.1 # 1 + [2; 3];; Error: This expression has type 'a list b

Ocaml does also not have a bad error message: $ ocaml OCaml version 4.13.1 # 1 + [2; 3];; Error: This expression has type 'a list but an expression was expected of type int Though it is also more constrained than Haskell here