import list
filter(\x.x > 3, [1 .. 10])
filter(\x.x > 3, ⟅1 .. 10⟆)
filter(\x.x > 3, {1 .. 10})
filter(\x.x mod 2 == 0, ⟅1, 2, 1, 3, 2, 4⟆)
take(10, filter(\x.x > 3, [1 .. 1000]))
