Remove type parameters from `x` and `y`