free-categories (hackage): free categories, paths, and categorical folds
Keywords: bsd3|control|library|functor|haskell|isomorphism|morphisms|quivers