I just pushed a type checking improvement to clj-kondo. I'd appreciate it if this could get some early testing. https://twitter.com/borkdude/status/1588493830961393664 are some examples of what is improved