Cannot resolve alias name

[Kaylen Wheeler]

I'm just starting with core.typed, and I can't seem to get it to work properly in the REPL.

I start by defining an alias (Fhtagn), but when I later try to type-check it, the name "Fhtagn" is unresolved.

Am I using it wrong, or is this just a consequence of using the REPL?

guymover.game-server> (t/defalias Fhtagn (t/HMap :mandatory {:a t/Int :b t/Str}))
nil
guymover.game-server> (t/cf {:a 1 :b ""} Fhtagn)
Type Error (C:\Users\Kaylen\AppData\Local\Temp\form-init7559705448676355576.clj) Internal Error (:<NO LINE>) Cannot resolve name guymover.game-server/Fhtagn
Error