error(type_error(predicate_indicator), /(f, -1))