free-algebras (hackage): Algebraic approach to free algebras, inspired by Univeral Algebra and Category Theory, including higher kinded algebraic structures like functors, applicative functors, monads or categories.
Keywords: algebra|control|library|monads|mpl|free|haskell-library|math