Relax the type restrictions for `x` and `y`