diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # recursion
 
+## 2.2.2.0
+
+* Add `cotransverse` for parity with `recursion-schemes >= 5.1.1`
+
 ## 2.2.1.0
 
 * Add `transverse` for parity with `recursion-schemes >= 5.1`
diff --git a/recursion.cabal b/recursion.cabal
--- a/recursion.cabal
+++ b/recursion.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.18
 name: recursion
-version: 2.2.1.0
+version: 2.2.2.0
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2018-2019 Vanessa McHale
diff --git a/src/Control/Recursion.hs b/src/Control/Recursion.hs
--- a/src/Control/Recursion.hs
+++ b/src/Control/Recursion.hs
@@ -56,6 +56,7 @@
     , hoist
     , refix
     , transverse
+    , cotransverse
     ) where
 
 import           Control.Arrow       ((&&&))
@@ -300,6 +301,12 @@
            -> s
            -> f t
 transverse = cata . (fmap embed .)
+
+cotransverse :: (Recursive s, Corecursive t, Functor f)
+             => (forall a. f (Base s a) -> Base t (f a))
+             -> f s
+             -> t
+cotransverse = ana . (. fmap project)
 
 hoist :: (Recursive s, Corecursive t)
       => (forall a. Base s a -> Base t a)