diff --git a/recursion-schemes-ext.cabal b/recursion-schemes-ext.cabal
--- a/recursion-schemes-ext.cabal
+++ b/recursion-schemes-ext.cabal
@@ -1,5 +1,5 @@
 name:                recursion-schemes-ext
-version:             0.1.0.1
+version:             0.1.0.2
 synopsis:            Amateur addenda to recursion-schemes
 description:         This package provides some exotic recursion schemes that I miss when I leave Idris.
 homepage:            https://hub.darcs.net/vmchale/recursion-schemes-ext#readme
@@ -25,7 +25,7 @@
   hs-source-dirs:      src
   exposed-modules:     Data.Foldable.Functor.Extensions
                        Data.Foldable.Functor.Examples
-  build-depends:       base >= 4.7 && < 5
+  build-depends:       base >= 4.9 && < 5
                      , recursion-schemes
                      , composition-prelude
   default-language:    Haskell2010
diff --git a/src/Data/Foldable/Functor/Extensions.hs b/src/Data/Foldable/Functor/Extensions.hs
--- a/src/Data/Foldable/Functor/Extensions.hs
+++ b/src/Data/Foldable/Functor/Extensions.hs
@@ -54,6 +54,8 @@
     -> b -> t'
 chema = ana .* homoCo
 
+-- FIXME maybe run the catamorphism on the inner bit?
+
 -- | A dendromorphism allows us to entangle two catamorphisms
 dendro :: (SubHom (Base t) (Base t') a b, Recursive t')
     => t -- ^ dummy type
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -2,7 +2,7 @@
 packages:
 - '.'
 extra-deps:
-    - composition-prelude-0.1.0.0
+    - composition-prelude-0.1.0.1
     - recursion-schemes-ext-0.1.0.0
 flags:
     recursion-schemes-ext: