# 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