Poly: currying
Poly: filter_even_gt7
Poly: baz_num_elts (proof)
Poly: partition
Poly: map_rev
Poly: flat_map
Poly: override_example
Poly: override_neq
Poly: fold_length
Poly: fold_map