Is there a correct way to use Typedclojure with Clojure Records?
Seems like u/ann-record is my friend
use typed.clojure/ann-record, for example
(t/ann-record typed.cljc.analyzer.WithMetaExpr
[op :- ana/Op
form :- ana/Form
env :- ana/Env
meta :- ana/Expr
expr :- ana/Expr
top-level :- t/Any
children :- (t/Vec t/Kw)])