Clarity supports higher-order functions over bounded lists: `map` (transform), `filter` (predicate selection), and `fold` (reduction).
clarity (define-private (is-even (val uint)) (is-eq (mod val u2) u0)) (filter is-even (list u1 u2 u3 u4)) ;; (list u2 u4)