Does your type system work on you? Refined types in Clojure
speakerdeck.com