Rich Hickey is mad!

https://github.com/richhickey/clojure/blob/04764db9b213687dd5d4325c67291f0b0ef3ff33/src/clj/clojure/core.clj
5701 lines

what a mess!

>>53
Unification of recursive type should be, like, unifying [a,b] with [b]. Where do you get the idea that it's about unifying a and (a,b)? (a,b) has the type 2-element-tuple type-of-a type-of-b. It's not even recursive in nature.