Clojurians Log v2

Hi, I was curious if there's a way to enable at run time annotation check, e.g. for parsing JSON at runtime? I guess the runtime type checking would be similar to this https://www.youtube.com/watch?v=HQidWfemPgA @ambrosebs did years ago. or is that something for which, Specs or Malli are better suited (and maybe leverage the integration w/ Typed Clojure)? PS: I did try addiing ^:core.typed and {:lang :core.typed} to namespace, but it didn't work like the typed REPL in video