`T <: Type`?