Hi, I was trying below type annotation but kept on getting error on (t/check-ns-clj) I am using Typed Clojure (ver. 1.0.31) and was implementing delayed evaluation for function arguments. Code:

(require '[typed.clojure :as t])

(t/defalias Lazy
            (t/TFn [[x :variance :covariant]]
                   (t/IFn [:-> x])))
;; => nil

(t/ann lazy-int [t/Int :-> (Lazy t/Int)])
;; => nil

(defn lazy-int
  [elem]
  (fn [] elem))
;; => #'some-ns/lazy-int

(t/defalias LazyList
            (t/TFn [[y :variance :covariant]]
                   (t/U nil
                        (Lazy (t/HMap :mandatory
                                      {:head (Lazy y)
                                       :tail (LazyList y)})))))
;; => nil

(t/ann to-lazy-list [(t/SequentialColl t/Int) :-> (LazyList t/Int)])
;; => nil

(defn to-lazy-list
  [xs]
  #(when (seq xs)
    {:head (lazy-int (first xs))
     :tail (to-lazy-list (rest xs))}))

;; => #'some-ns/to-lazy-list

Type mismatch:

Expected: 	(t/HMap :mandatory {:head (some-ns/Lazy t/Int), :tail (some-ns/LazyList t/Int)})

Actual: 	nil

in:
nil

Execution error (ExceptionInfo) at clojure.core.typed.errors/print-errors! (errors.cljc:290).
Type Checker: Found 1 error

(t/defalias LazyList
            (t/TFn [[y :variance :covariant]]
                   (Lazy
                     (t/U nil
                          (t/HMap :mandatory
                                  {:head (Lazy y)
                                   :tail (LazyList y)})))))