0.0.4
* Generalise data types over the Profunctor and not (->)
* Add `CovariantFunctor` module — reified covariant functor, dual of `Presheaf`
* Add composition functions for `Presheaf` and `CovariantFunctor`:
- `composePresheafFunctor` (contravariant ∘ covariant = contravariant)
- `composeFunctorPresheaf` (covariant ∘ contravariant = contravariant)
- `composePresheaf` (contravariant ∘ contravariant = covariant)
- `composeFunctor` (covariant ∘ covariant = covariant)
* Add law-checking functions for `Presheaf` (identity, composition)
* Add law-checking functions for `CovariantFunctor` (identity, composition)
* Update documentation and doctests
0.0.3
* Generalise data types over the Profunctor and not (->)
0.0.2
* Fix typo in cabal file
0.0.1
* This change log starts