diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,14 @@
+# Changelog
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/).
+
+## 0.1.1.0 – 2019–01–08
+### Added
+- `law_anaRefl` as dual to `law_cataRefl`
+- lower bounds on internal yaya dependencies
+
+## 0.1.0.0 – 2019–01–04
+### Added
+- everything (this is the initial release)
diff --git a/src/Yaya/Hedgehog/Fold.hs b/src/Yaya/Hedgehog/Fold.hs
--- a/src/Yaya/Hedgehog/Fold.hs
+++ b/src/Yaya/Hedgehog/Fold.hs
@@ -17,9 +17,20 @@
   => Algebra f a -> f t -> m ()
 law_cataCancel φ = uncurry (===) . (cata φ . embed &&& φ . fmap (cata φ))
 
+-- law_anaCancel
+--   :: (Eq (f t), Show a, Steppable t f, Corecursive t f, Functor f, MonadTest m)
+--   => Coalgebra f a -> a -> m ()
+-- law_anaCancel ψ = uncurry (===) . (project . ana ψ &&& fmap (ana ψ) . ψ)
+
 law_cataRefl
   :: (Eq t, Show t, Steppable t f, Recursive t f, MonadTest m) => t -> m ()
 law_cataRefl = uncurry (===) . (cata embed &&& id)
+
+-- | NB: Since this requires both a `Corecursive` and `Eq` instance on the same
+--       type, it _likely_ requires instances from yaya-unsafe.
+law_anaRefl
+  :: (Eq t, Show t, Steppable t f, Corecursive t f, MonadTest m) => t -> m ()
+law_anaRefl = uncurry (===) . (ana project &&& id)
 
 -- law_cataFusion
 --   :: (Eq a, Show a, Recursive t f, Functor f, MonadTest m)
diff --git a/yaya-hedgehog.cabal b/yaya-hedgehog.cabal
--- a/yaya-hedgehog.cabal
+++ b/yaya-hedgehog.cabal
@@ -1,5 +1,5 @@
 name:                yaya-hedgehog
-version:             0.1.0.0
+version:             0.1.1.0
 synopsis:            Hedgehog testing support for the Yaya recursion scheme
                      library.
 description:         If you use Yaya in your own code and have tests written
@@ -13,7 +13,8 @@
 license-file:        LICENSE
 category:            Recursion
 build-type:          Simple
-extra-source-files:  README.md
+extra-source-files:  CHANGELOG.md
+                   , README.md
 cabal-version:       >=1.10
 
 library
@@ -23,7 +24,7 @@
   build-depends:       base >= 4.7 && < 5
                      , deriving-compat
                      , hedgehog
-                     , yaya
+                     , yaya >= 0.1.0
   default-extensions:  ConstraintKinds
                      , DeriveTraversable
                      , FlexibleContexts