Parametric subtyping for structural parametric polymorphism