It's more similar to semantic subtyping as a set interpretation of some types. That avoids having different constructs for similar things. Personally I find th

It's more similar to semantic subtyping as a set interpretation of some types. That avoids having different constructs for similar things. Personally I find this elegant.