Ignoring subtypes without relevant free variables.