@ambrosebs are you currently open to accepting contributions on the core.typed projects? I’ll try to contribute some of these (seemingly) simpler things

the two areas I’ve felt the most pain while starting to use core.typed again are: 1) not being able to annotate things (e.g., class static fields); 2) type checker crashing.

the latter is really going to keep people away from using core.typed. one of the nice things (in theory) about core.typed is it can be gradually added and won’t get in the way of plain Clojure development. a user’s build process or REPL crashing because of core.typed is going to cause them to remove core.typed from their project