Union Types (ADTs, sum types) built on clojure.spec - View it on GitHub