For review only: apply variance rule to type parameters