[erk__]

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