Yeah, SE-0283 would be supposed to realize Void's conformance to Equatable, Comparable, and Hashable.
Should we
- wait for reimplementation of SE-0283?
- wait for another evolution such as User-defined tuple conformances?
- add
Emptystruct as you suggest?