I https://blog.ambrosebs.com/2020/04/26/spec2-experience.html some notes about using spec2 and some of the design decisions behind typed.clj/spec.