Filter package:first-class-families

Keep all elements that satisfy a predicate, remove all that don't.

Example

>>> :kind! Eval (Filter ((>) 3) [1,2,3,0])
Eval (Filter ((>) 3) [1,2,3,0]) :: [Natural]
= [1, 2, 0]