Generalized algebraic theories and categorical programming for Clojure. - View it on GitHub