Add nice user-facing diagnostics to your errors without being weird about it.
derive macro for thisdiagnostic