[tommmmmm]

Is there a reason that in clojure.core/map, the second type declaration uses (U nil (Seqable a)) instead of (Option (Seqable a))?

[ambrosebs]

No reason.