Yes, yes, a thousand times, yes.
I would love to have Never be treated as a universal bottom type, but Equatable and Hashable are excellent low-hanging fruit that cover a decent chunk of use cases.
8 Likes