Typed Clojure 1.0.32 Adds type-level map merging, like spec's s/merge or malli's :merge except lifts clojure.core/merge's type checking semantics to type level.

(t/Merge '{:a t/Int} '{:b t/Int}) => '{:a t/Int :b t/Int}
(t/Merge '{:a t/Int} '{:a t/Bool}) => '{:a t/Bool}