## 5.2.2
* More Mendler-style recursion-schemes: `mpara`, `mzygo`, `mana`, `mapo`, and
  `mfutu`.
* `makeBaseFunctor` no longer generates warnings when combined with
  DerivingStrategies.

## 5.2.1 [2020.10.04]
* Allow building with `template-haskell-2.17.0.0` (GHC 9.0).

## 5.2

* Add instances for `Tree` (from `containers`)
* Add some haddocks and basic examples
* Generalize the type of `makeBaseFunctor(With)`, such that
  it can take also `Dec`. This way you may supply context for `Recursive`
  and `Corecursive` instances.
* Depend on `data-fix` package for fixed point types.

## 5.1.3 [2019.04.26]
* Support `th-abstraction-0.3.0.0` or later.

## 5.1.2
* Make the `Generic`-based instances to also support data constructors with zero
  arguments (and datatypes with zero constructors).

## 5.1.1.1

* Invalid release

## 5.1.1

* Add `cotransverse`
* Add `Generic` based default implementation to `embed` and `project`.
  `Recursive` and `Corecursive` can be `DeriveAnyClass`-derived now,
  if you write the base functor by hand.

## 5.1
* Export gfutu
* `distGHisto`, `ghisto`, and `gchrono` now use `Cofree (Base t)`
* `distGFutu`, `gfutu`, and `gchrono` now use `Free (Base t)`
* Add `hoist`, `hoistMu` and `hoistNu`
* Add `transverse` and `cataA`

## 5.0.3 [2018.07.01]
* Make the Template Haskell machinery look through type synonyms.
* Avoid incurring some dependencies when using recent GHCs.

## 5.0.2
* Support GHC-8.2.1
* Fix Template Haskell derivation with non-default type renamer.
* Add `Recursive` and `Corecursive Natural` instances, with `Base Natural = Maybe`.

## 5.0.1
* Add `Data.Functor.Foldable.TH` module, which provides derivation of base functors via Template Haskell.

## 5
* Renamed `Foldable` to `Recursive` and `Unfoldable` to `Corecursive`. With `Foldable` in `Prelude` in GHC 7.10+, having a needlessly conflicting name seemed silly.
* Add support for GHC-8.0.1
* Use `Eq1`, `Ord1`, `Show1`, `Read1` to derive `Fix`, `Nu` and `Mu` `Eq`, `Ord` `Show` and `Read` instances
* Remove `Prim` data family. `ListF` as a new name for `Prim [a]`, with plenty of instances, e.g. `Traversable`.
* Export `unfix`
* Add chronomorphisms: `chrono` and `gchrono`.
* Add `distGApoT`

## 4.1.2
* Support for `free` 4.12.1

## 4.1.1
* Support for GHC 7.10
* Fixed `para`.

## 4.1
* Support for GHC 7.7+'s generalized `Typeable`.
* Faster `gapo` and `para` by exploiting sharing.

## 4.0

* Compatibility with `comonad` and `free` version 4.0

## 3.0

* Compatibility with `transformers` 0.3
* Resolved deprecation warnings caused by changes to `Data.Typeable`