Chapter16 (v14) Filtering lists: filter, partition, find, takeWhile, dropWhile, span
Chapter16 (v15) Predicates over lists: forall and exists