(T + P) <: T
(T + P) <: (T + Q) if forall (t: T + P): Q(t)
Int + (i => i > 20) <: Int + (i => i > 10)
Int + (i => a(i) && b(i)) <: Int + (i => a(i))