Hi,
Typed Clojure has long struggled with incomprehensible error messages--today I merged an enhancement which should serve as a template to turn this around.
Typed Clojure 1.0.17 improves error messages for vector destructuring. Instead of a low-level error referencing gensyms and expanded code, now destructuring is a first-class concept in error messages.
Check out the runnable demo to see the improvements side-by-side.
Thanks,
Ambrose