free-algebra (cargo): Types for constructing free algebras over sets.
Keywords: mathematics|polynomials|algebra