Map over a data structure and filter based on a Option predicate.
HKT<KT, Z> filterMap<Z>(Option<Z> Function(A a) f);