supertypeOf

? super [lower], a contravariant argument (in T).