Counterexamples to the interpretation `<:` means "is a subtype of"

I’m pretty convinced with the argument that the issue (as far as there is one at all) is with the subtypes and supertypes functions, not with <:

3 Likes