../../../../../Prelude/List/filter Natural Natural/even [ +2, +3, +5 ]