I think this is correct, but I think highlights an issue with Eq etc in general: if your errors include private details, you could implement Eq ignoring those details. In fact from the point of view of Eq being part of a typeâs api you should do that. But the fact that Eq is usually derived and
add a skeleton here at some point
6 days ago