Slides for "Variants are Not Unions", a talk given at Clojure Conj 2014