diff --git a/functor-combinators.cabal b/functor-combinators.cabal
--- a/functor-combinators.cabal
+++ b/functor-combinators.cabal
@@ -1,13 +1,13 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.31.1.
+-- This file has been generated from package.yaml by hpack version 0.31.2.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: c6b3ac6a253af1f757fe65a13f8811131ac75e448c2cba76845cde36af47fdec
+-- hash: fe8311fa4240fa72d0cf9023f7b1410f94e3b6bbee3bb8ba0164ecf28d7265d0
 
 name:           functor-combinators
-version:        0.1.1.0
+version:        0.1.1.1
 synopsis:       Tools for functor combinator-based program design
 description:    Tools for working with /functor combinators/: types that take functors (or
                 other indexed types) and returns a new functor that "enhances" or "mixes"
@@ -81,12 +81,11 @@
     , nonempty-containers
     , pointed
     , profunctors
-    , recursion-schemes
     , semigroupoids
     , tagged
     , these
     , transformers
-    , trivial-constraint >=0.5.1
+    , trivial-constraint >=0.6
     , vinyl
   default-language: Haskell2010
 
@@ -107,11 +106,10 @@
     , dependent-sum
     , free
     , functor-combinators
-    , hedgehog >=1.0
+    , hedgehog >=0.6
     , nonempty-containers
     , semigroupoids
-    , tagged
     , tasty
-    , tasty-hedgehog >=1.0
+    , tasty-hedgehog
     , transformers
   default-language: Haskell2010
diff --git a/src/Data/HFunctor/Internal.hs b/src/Data/HFunctor/Internal.hs
--- a/src/Data/HFunctor/Internal.hs
+++ b/src/Data/HFunctor/Internal.hs
@@ -77,6 +77,8 @@
 --
 -- This class is similar to 'Control.Monad.Morph.MFunctor' from
 -- "Control.Monad.Morph", but instances must work without a 'Monad' constraint.
+--
+-- This class is also found in the /hschema/ library with the same name.
 class HFunctor t where
     -- | If we can turn an @f@ into a @g@, then we can turn a @t f@ into
     -- a @t g@.
diff --git a/src/Data/HFunctor/Interpret.hs b/src/Data/HFunctor/Interpret.hs
--- a/src/Data/HFunctor/Interpret.hs
+++ b/src/Data/HFunctor/Interpret.hs
@@ -414,7 +414,7 @@
 instance Interpret ProxyF where
     type C ProxyF = Impossible
 
-    retract = absurdible . reProxy
+    retract = nope . reProxy
 
 reProxy :: p f a -> Proxy f
 reProxy _ = Proxy
@@ -424,7 +424,7 @@
 instance Monoid e => Interpret (ConstF e) where
     type C (ConstF e) = Impossible
 
-    retract = absurdible . reProxy
+    retract = nope . reProxy
 
 -- | A constraint on @a@ for both @c a@ and @d a@.  Requiring @'AndC'
 -- 'Show' 'Eq' a@ is the same as requiring @('Show' a, 'Eq' a)@.