[nathankleyn]

Some of these errors remind me of Rust and the attempts in that community to give every error an exhaustive description [1].

This looks fantastic, and shows a true commitment to reducing friction with the language - a goal which often goes too long without attention.

[1]: https://github.com/rust-lang/rust/issues/24407

[steveklabnik]

Yup, I would strongly agree. Diagnostics are one of those things that's easy to let slip by the wayside, but we've seen a huge payoff for users with all the time we've invested in ours. Glad to see other languages like Elm help raise the bar here too.