diff --git a/src/Yaya/Unsafe/Fold/Instances.hs b/src/Yaya/Unsafe/Fold/Instances.hs
--- a/src/Yaya/Unsafe/Fold/Instances.hs
+++ b/src/Yaya/Unsafe/Fold/Instances.hs
@@ -30,8 +30,9 @@
 import safe "base" Data.Foldable (Foldable)
 import safe "base" Data.Function (flip)
 import safe "base" Data.Functor (Functor, (<$>))
-import safe "base" Data.Functor.Classes (Eq1, Show1)
+import safe "base" Data.Functor.Classes (Eq1, Ord1, Show1)
 import safe "base" Data.List.NonEmpty (NonEmpty)
+import safe "base" Data.Ord (Ord (compare))
 
 -- See comment on @{-# LANGUAGE Safe #-}@ above.
 #if MIN_VERSION_base(4, 17, 0)
@@ -51,6 +52,7 @@
     Projectable (project),
     Recursive (cata),
     Steppable (embed),
+    recursiveCompare,
     recursiveEq,
     recursiveShowsPrec,
   )
@@ -68,6 +70,10 @@
 instance (Functor f, Foldable f, Eq1 f) => Eq (Cofix f) where
   (==) = recursiveEq
 
+-- | @since 0.4.1.0
+instance (Functor f, Foldable f, Ord1 f) => Ord (Cofix f) where
+  compare = recursiveCompare
+
 instance (Functor f, Show1 f) => Show (Cofix f) where
   showsPrec = recursiveShowsPrec
 
@@ -79,6 +85,10 @@
 
 instance (Functor f, Foldable f, Eq1 f) => Eq (Nu f) where
   (==) = recursiveEq
+
+-- | @since 0.4.1.0
+instance (Functor f, Foldable f, Ord1 f) => Ord (Nu f) where
+  compare = recursiveCompare
 
 instance (Functor f, Show1 f) => Show (Nu f) where
   showsPrec = recursiveShowsPrec
diff --git a/yaya-unsafe.cabal b/yaya-unsafe.cabal
--- a/yaya-unsafe.cabal
+++ b/yaya-unsafe.cabal
@@ -1,7 +1,7 @@
 cabal-version:  3.0
 
 name:        yaya-unsafe
-version:     0.4.0.0
+version:     0.4.1.0
 synopsis:    Non-total extensions to the Yaya recursion scheme library.
 description: Yaya is designed as a _total_ library. However, it is often
              expedient to use partial operations in some cases, and this package
@@ -168,7 +168,7 @@
     free ^>= {5.1.5, 5.2},
     -- `Control.Lens` in lens < 5 is `Unsafe`
     lens ^>= {5, 5.1, 5.2},
-    yaya ^>= {0.6.0},
+    yaya ^>= {0.5.1, 0.6.0},
   ghc-options:
     -trust adjunctions
     -trust array
@@ -223,8 +223,8 @@
     Test.Fold
   build-depends:
     hedgehog ^>= {1.0, 1.1, 1.2, 1.4},
-    yaya ^>= {0.6.0},
-    yaya-hedgehog ^>= {0.3.0},
+    yaya ^>= {0.5.1, 0.6.0},
+    yaya-hedgehog ^>= {0.2.1, 0.3.0},
     yaya-unsafe,
   ghc-options:
     -- NB: Need `-fno-omit-yields` so that `timeout` can interrupt native