Technical nitpick: Schema does not implement a type system of any kind, but instead a contract system. Typed Clojure would be a type system. Outside of that (+

Technical nitpick: Schema does not implement a type system of any kind, but instead a contract system. Typed Clojure would be a type system. Outside of that (+1) because yes, I completely agree.