diff --git a/bowtie.cabal b/bowtie.cabal
--- a/bowtie.cabal
+++ b/bowtie.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           bowtie
-version:        0.1.0
+version:        0.1.1
 synopsis:       Tying knots in polynomial functors
 description:    Please see the README on GitHub at <https://github.com/ejconlon/bowtie#readme>
 homepage:       https://github.com/ejconlon/bowtie#readme
diff --git a/src/Bowtie.hs b/src/Bowtie.hs
--- a/src/Bowtie.hs
+++ b/src/Bowtie.hs
@@ -39,6 +39,8 @@
   , memoVal
   , memoCata
   , memoCataM
+  , memoRight
+  , memoRightM
   )
 where
 
@@ -295,3 +297,11 @@
 memoCataM f = go
  where
   go (MemoP k v) = traverse go v >>= \x -> runReaderT (f x) k
+
+-- | Peek at the top value like 'annoRight'
+memoRight :: (f (Memo f k) -> Reader k x) -> Memo f k -> x
+memoRight f = annoRight f . unMemoF . unMemo
+
+-- | Peek at the top value like 'annoRightM'
+memoRightM :: (f (Memo f k) -> ReaderT k m x) -> Memo f k -> m x
+memoRightM f = annoRightM f . unMemoF . unMemo