<:
A
B
B <: A
Cat <: Animal
tstype Cat = 'cat' type Dog = 'dog' type Animal = Cat | Dog
Animal := {'cat', 'dog'}
Cat := {'cat'}
Dog := {'dog'}