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