> Error messages like "This expression is of type X but an expression was expected of type X" were not uncommon, and super frustrating. That particular error m

> Error messages like "This expression is of type X but an expression was expected of type X" were not uncommon, and super frustrating. That particular error message has been gone from OCaml for years now.