7 Type Checking and Inference

Type checking and inference is just as in ML (Hindley-Milner), with a few small exceptions:

When typechecking fails, the error messages reports and highlights (in pink) all of the expressions whose type contributed to the failure. That’s often too much information. As usual, explicit type annotations can help focus the error message.