## (ann id #type (All [x] (-> [x] x)))
(def (id x)
  x)