Should this be "`S<T>` can only be converted to `S<U>` if `T` is a a subtype of `U`"? It says the same thing for contravariant, so one of them must be wrong.