Do every error here

[chenglou]

https://ocaml.org/learn/tutorials/common_error_messages.html

We could provide even better error for optional argument erasure by providing a solution, as shown in the doc.