(t/def-alias TA (HMap :optional {:d Any}))(t/ann a [TA -> TA])(defn a [m] (assoc m :d "foo"))
Type Error (imdb.test:83:13) Cannot assoc args `[(Value :d) {:then tt, :else ff}] [(Value "foo") {:then tt, :else ff}]` on imdb.test/TAin: (clojure.core/assoc m :d foo)
(t/def-alias TB (HMap :mandatory {:d Any}))
(t/ann b [TB -> TB])
(defn b [m] (assoc m :d "foo"))
(t/ann c [(HMap :optional {:d Any}) -> (HMap :optional {:d Any})])
(defn c [m] (assoc m :d "foo"))
(t/def-alias TD (t/Map Any Any))
(t/ann d [TD -> TD])
(defn d [m] (assoc m :d "foo"))
(t/def-alias TE (HMap))
(t/ann e [TE -> TE])
(defn e [m] (assoc m :d "foo"))