Partitions SEQ based on FN. Returns twa values: (a) the list of all elements
of SEQ for which FN returns true, and (b) the list of all elements of SEQ for
which FN returns false.