error(type_error(predicate_indicator), foo)