diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,9 @@
+## 0.3.0.0 (2023-03-07)
+
+In the `Fold.ShortcutNonempty` module, the type of `list` and
+`reverseList` has changed from `ShortcutNonemptyFold a [a]`
+to `ShortcutNonemptyFold a (NonEmpty a)`.
+
 ## 0.2.0.0 (2023-02-22)
 
 The "Examples" modules are no longer divided into "Interesting" and "Boring"
diff --git a/gambler.cabal b/gambler.cabal
--- a/gambler.cabal
+++ b/gambler.cabal
@@ -1,7 +1,7 @@
 cabal-version: 3.0
 
 name: gambler
-version: 0.2.0.0
+version: 0.3.0.0
 
 category: Streaming
 synopsis: Composable, streaming, and efficient left folds
diff --git a/source/Fold/ShortcutNonempty/Examples/Boring.hs b/source/Fold/ShortcutNonempty/Examples/Boring.hs
--- a/source/Fold/ShortcutNonempty/Examples/Boring.hs
+++ b/source/Fold/ShortcutNonempty/Examples/Boring.hs
@@ -13,19 +13,20 @@
   )
   where
 
-import Data.Maybe (Maybe)
-import Fold.ShortcutNonempty.Type (ShortcutNonemptyFold)
-import Data.Semigroup (Semigroup)
-import Data.Ord (Ord, Ordering)
-import Data.Monoid (Monoid)
-import Prelude (Floating, Fractional, Num)
 import Data.Bool (Bool)
 import Data.Eq (Eq)
+import Data.List.NonEmpty (NonEmpty)
+import Data.Maybe (Maybe)
+import Data.Monoid (Monoid)
+import Data.Ord (Ord, Ordering)
+import Data.Semigroup (Semigroup)
+import Fold.ShortcutNonempty.Type (ShortcutNonemptyFold)
 import Numeric.Natural (Natural)
+import Prelude (Floating, Fractional, Num)
 
-import qualified Fold.Shortcut.Examples.Interesting as Shortcut
 import qualified Fold.Nonempty.Examples.Interesting as Nonempty
 import qualified Fold.Pure.Examples.Interesting as Pure
+import qualified Fold.Shortcut.Examples.Interesting as Shortcut
 import qualified Fold.ShortcutNonempty.Conversion as Convert
 
 {-| Start with 'mempty', append each input on the right
@@ -108,12 +109,12 @@
 lookup a = Convert.shortcutFold (Shortcut.lookup a)
 
 {-| All the inputs (ambivalent) -}
-list :: ShortcutNonemptyFold a [a]
-list = Convert.fold Pure.list
+list :: ShortcutNonemptyFold a (NonEmpty a)
+list = Convert.nonemptyFold Nonempty.list
 
 {-| All the inputs in reverse order (ambivalent) -}
-reverseList :: ShortcutNonemptyFold a [a]
-reverseList = Convert.fold Pure.reverseList
+reverseList :: ShortcutNonemptyFold a (NonEmpty a)
+reverseList = Convert.nonemptyFold Nonempty.reverseList
 
 {-| Start with the first input, append each new input on the right
     with the given function (ambivalent) -}