S <: T