Deal with phantom type variables in rules