Subtype constraints

In OO languages, we can often express constraints such as “polymorphic over all types that are subtypes of T”
- subtypes have all the operations of T (and maybe more)
- body can perform all operations listed in T

In OO languages, we can often express constraints such as “polymorphic over all types that are subtypes of T”