In OCaml, if your pattern match is non-exhaustive, then the compiler generates example patterns that you aren't accounting for in addition to showing the missing type.

Here's an example: https://stackoverflow.com/questions/22737031/this-pattern-ma...