Current version of core.typed does not work with current Clojure 1.9.0-alpha11

WARNING: boolean? already refers to: #'clojure.core/boolean? in namespace: clojure.core.typed.contract-utils, being replaced by: #'clojure.core.typed.contract-utils/boolean?
Initializing core.typed ...
Exception in thread "main" java.lang.IllegalArgumentException: Call to clojure.core/fn did not conform to spec:
In: [0] val: clojure.core.unify/var-unify fails spec: :clojure.core.specs/arg-list at: [:args :bs :arity-1 :args] predicate: vector?
In: [0] val: clojure.core.unify/var-unify fails spec: :clojure.core.specs/args+body at: [:args :bs :arity-n] predicate: (cat :args :clojure.core.specs/arg-list :prepost (? map?) :body (* any?))
:clojure.spec/args  (clojure.core.unify/var-unify [G__5637 G__5638 G__5639 G__5640] (clojure.core/if-let [vb__5630__auto__ (G__5640 G__5638)] (clojure.core.unify/garner-unifiers G__5637 vb__5630__auto__ G__5639 G__5640) (clojure.core/if-let [vexpr__5631__auto__ (clojure.core/and (G__5637 G__5639) (G__5640 G__5639))] (clojure.core.unify/garner-unifiers G__5637 G__5638 vexpr__5631__auto__ G__5640) (if (clojure.core.unify/occurs? G__5637 G__5638 G__5639 G__5640) (throw (java.lang.IllegalStateException. (clojure.core/str "Cycle found in the path " G__5639))) (clojure.core.unify/bind-phase G__5640 G__5638 G__5639)))))
, compiling:(clojure/core/unify.clj:83:18)
       	at clojure.lang.Compiler.macroexpand1(Compiler.java:6795)
       	at clojure.lang.Compiler.analyzeSeq(Compiler.java:6878)
       	at clojure.lang.Compiler.analyze(Compiler.java:6674)
       	at clojure.lang.Compiler.analyzeSeq(Compiler.java:6880)
       	at clojure.lang.Compiler.analyze(Compiler.java:6674)
       	at clojure.lang.Compiler.access$300(Compiler.java:38)
       	at clojure.lang.Compiler$DefExpr$Parser.parse(Compiler.java:589)
...

[org.clojure/core.typed "0.3.23"]
   [org.clojure/core.contracts "0.0.4" :exclusions [[org.clojure/clojure]]]
     [org.clojure/core.unify "0.5.3"]