Changelog for free-algebras

Version 0.0.6.0

• Num a => SSet (Sum a) a and Num a => SSet (Product a) a instances
• Num a => MSet (Sum a) a and Num a => MSet (Product a) a instances
• removed some overlapping instances for SSet and MSet
• Control.Algebra.Free2 module, see free-category package for applications.

Version 0.0.5.1

• Improved documentation

Version 0.0.5.0

• FreeAlgebra renamed proof to codom, added Proof smart constructor proof.
• FreeAlgebra instance for Identity functor
• generic Free type
• DList and FreeGroup based on DList, FreeGroupL
• documentation on strictness / laziness improved

Version 0.0.4.0

• S new type wrapper in SSet, and overlappable instance for SSet s a => SSet (S s) (Endo a)
• foldrFree and friends
• foldrMSet
• documented intersection with monad-mmorph package.

Version 0.0.3.0

• Breaking change: changed proofs in FreeAlgebra and FreeAlgebra1 class; now using FreeAlgebra and FreeAlgebra1 classes let us deduce an adjunction.
• Monadicity example

Version 0.0.2.0

• Simplified Proof type.

Unreleased changes