Partitions elements into two lists by a predicate.
The first list contains elements matching the predicate, and the second list contains the rest.
| fn |
the predicate function. |
|
a Pair of (matching, non-matching) lists. |