to me, this is a problem because of generics. a type like A<T> can only conditionally conform to Comparable once, which rules out the possibility of something like A<Bool>. you can try defining a custom boolean-backed enum type that is Comparable, but that’s just a really bad idea in practice.
1 Like