:type \xs. each (\x.x+1, xs) :type \xs. each(list,xs) :type each (\x.x+1, [1,2,3]) :type each (\x.x+1, ⟅1,2,3⟆) :type each (\x.x+1, {1,2,3}) each(\x.x+1, [1,2,3]) each(\x.x+1, ⟅1,2,3⟆) each(\x.x^2, ⟅-2, -1, 0, 1, 2⟆) each(\x.1, ⟅1..100⟆) each(\x.x+1, {1,2,3}) each(\x.x^2, {-2 .. 2}) each(\x.1, {1..100})