forall should work on empty iterable