# Changelog for polysemy-check
## v0.4.0.0 (2021-10-12)
- `GArbitraryK` now supports actions that contain existential types.
- (Internal) Aggressively rewrote the `GArbitraryK` typeclass to make better use
of `kind-generics`.
## v0.3.0.0 (2021-10-09)
- `prepropLaw` now synthesizes a monadic prelude and postlude to your laws, to
ensure they hold under every context. The type has changed as a result.
- `prepropEquivalent` now allows you to produce a functor `f` result, so you can
check equivalence of the underlying state as well.
## v0.2.0.0 (2021-10-09)
- Updated the signature of `prepropEquivalent` to take a `Proxy r`. This lets
you bind the `r` type variable, and use it as an argument to
`arbitraryAction` et al.
## v0.1.0.0 (2021-10-08)
- Released!
## Unreleased changes