returns a predicate which checks, if its argument is a pseudo-list, which passes every predicate ok? ...