Core.typed appears to have some higher kind and variance support (as seen in the user guide - https://github.com/clojure/core.typed/wiki/User-Guide https://gith

Core.typed appears to have some higher kind and variance support (as seen in the user guide - https://github.com/clojure/core.typed/wiki/User-Guide https://github.com/clojure/core.typed/wiki/User-Guide). Type classes can be mimicked via multimethods or protocols.