diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -33,3 +33,8 @@
 
 * 0.8.0.0
     Changed internal representation to (Data.Seq Any) for a further 2x append speedup.
+    Added NFData instance for Many
+
+* 0.8.1.0
+    Added NFData instance for Which
+    Forgot to expose Many.sliceL and Many.sliceR
diff --git a/data-diverse.cabal b/data-diverse.cabal
--- a/data-diverse.cabal
+++ b/data-diverse.cabal
@@ -1,5 +1,5 @@
 name:                data-diverse
-version:             0.8.0.0
+version:             0.8.1.0
 synopsis:            Extensible records and polymorphic variants.
 description:         "Data.Diverse.Many" is an extensible record for any size encoded efficiently as (Seq Any).
                      "Data.Diverse.Which" is a polymorphic variant of possibilities encoded as (Int, Any).
diff --git a/src/Data/Diverse/Many.hs b/src/Data/Diverse/Many.hs
--- a/src/Data/Diverse/Many.hs
+++ b/src/Data/Diverse/Many.hs
@@ -19,6 +19,8 @@
     , (/./)
 
     -- * Simple queries
+    , sliceL
+    , sliceR
     , front
     , back
     , aft
diff --git a/src/Data/Diverse/Many/Internal.hs b/src/Data/Diverse/Many/Internal.hs
--- a/src/Data/Diverse/Many/Internal.hs
+++ b/src/Data/Diverse/Many/Internal.hs
@@ -160,6 +160,7 @@
 
 instance NFData (Many '[])
 instance (NFData x, NFData (Many xs)) => NFData (Many (x ': xs))
+
 -----------------------------------------------------------------------
 
 -- | A terminating 'G.Generic' instance encoded as a 'nil'.
diff --git a/src/Data/Diverse/Which/Internal.hs b/src/Data/Diverse/Which/Internal.hs
--- a/src/Data/Diverse/Which/Internal.hs
+++ b/src/Data/Diverse/Which/Internal.hs
@@ -57,6 +57,7 @@
     ) where
 
 import Control.Applicative
+import Control.DeepSeq
 import Control.Monad
 import Data.Diverse.Case
 import Data.Diverse.Reduce
@@ -105,6 +106,12 @@
 -- Coercible '[Int] '[IntLike] => Coercible (Which '[Int]) (Which '[IntLike])
 -- @
 type role Which representational
+
+----------------------------------------------
+
+instance NFData (Which '[])
+instance (NFData x) => NFData (Which '[x])
+instance (NFData x, NFData (Which (x' ': xs))) => NFData (Which (x ': x' ': xs))
 
 ----------------------------------------------