(: map (→ (→ a b) (→ (list a) (list b))))

(: map (→ [→ a b] [→ (list a) (list b)]))