Make several type parameters covariant