Does malli have anything equivalent to Union in Typed Racket? https://docs.racket-lang.org/ts-guide/beginning.html

#lang typed/racket
(define-type Tree (U leaf node))
(struct leaf ([val : Number]))
(struct node ([left : Tree] [right : Tree]))

I'm still trying to spec clojure.core with malli https://github.com/clojure/core.specs.alpha/blob/master/src/main/clojure/clojure/core/specs/alpha.clj#L39 I'm trying to find a way to replace this every which specs a map as 3 different kinds of key/values. unfortunately Malli map-of takes only one kind of key I'm wondering if there is a way to transform the values in the schema, so that it checks that it's a map then transforms in a repetitions of tuples. Is it possible with Malli? going through the docs I can't find any clear way

Is it expected that the output of m/parse can be lossy?

(defn -map-like? [x] (or (map? x) (and (seqable? x) (every? (fn [e] (and (vector? e) (= 2 (count e)))) x))))
(def MapLike (m/-collection-schema {:type 'MapLike, :empty {}, :pred -map-like?}))
(m/parse [MapLike [:orn
                                [:some-keyword [:tuple :keyword :any]]
                                [:some-int [:tuple :int :any]]]]
                                   {:k1 1
                                    :k2 2
                                    3 4
                                    5 :six})
{:some-keyword [:k2 2], :some-int [5 :six]}