Check (Set <: Type).
Check (Set <<: Type).