free-algebras

Algebraic approach to free algebras, inspired by Univeral Algebra and Category Theory, including higher kinded algebraic structures like functors, applicative functors, monads or categories.