3 files changed, 10 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Mixed.hs b/src/Data/Array/Nested/Mixed.hs
index 0a2fc17..250c999 100644
--- a/src/Data/Array/Nested/Mixed.hs
+++ b/src/Data/Array/Nested/Mixed.hs
@@ -386,7 +386,9 @@ class EltC a => Elt a where
 -- This class is (currently) only required for 'mgenerate',
 -- 'Data.Array.Nested.Ranked.rgenerate' and
 -- 'Data.Array.Nested.Shaped.sgenerate'.
-class Elt a => KnownElt a where
+class (Elt a, KnownEltC a) => KnownElt a where
+  type KnownEltC a :: Constraint
+
   -- | Create an empty array. The given shape must have size zero; this may or may not be checked.
   memptyArrayUnsafe :: IShX sh -> Mixed sh a
 
@@ -489,6 +491,7 @@ deriving via Primitive Float instance Elt Float
 deriving via Primitive () instance Elt ()
 
 instance Storable a => KnownElt (Primitive a) where
+  type KnownEltC (Primitive a) = ()
   memptyArrayUnsafe sh = M_Primitive sh (X.empty sh)
   mvecsUnsafeNew sh _ = MV_Primitive <$> VSM.unsafeNew (shxSize sh)
   mvecsNewEmpty _ = MV_Primitive <$> VSM.unsafeNew 0
@@ -550,6 +553,7 @@ instance (Elt a, Elt b) => Elt (a, b) where
   mvecsFreeze sh (MV_Tup2 a b) = M_Tup2 <$> mvecsFreeze sh a <*> mvecsFreeze sh b
 
 instance (KnownElt a, KnownElt b) => KnownElt (a, b) where
+  type KnownEltC (a, b) = (KnownEltC a, KnownEltC b)
   memptyArrayUnsafe sh = M_Tup2 (memptyArrayUnsafe sh) (memptyArrayUnsafe sh)
   mvecsUnsafeNew sh (x, y) = MV_Tup2 <$> mvecsUnsafeNew sh x <*> mvecsUnsafeNew sh y
   mvecsNewEmpty _ = MV_Tup2 <$> mvecsNewEmpty (Proxy @a) <*> mvecsNewEmpty (Proxy @b)
@@ -690,6 +694,7 @@ instance Elt a => Elt (Mixed sh' a) where
   mvecsFreeze sh (MV_Nest sh' vecs) = M_Nest sh <$> mvecsFreeze (shxAppend sh sh') vecs
 
 instance (KnownShX sh', KnownElt a) => KnownElt (Mixed sh' a) where
+  type KnownEltC (Mixed sh' a) = (KnownShX sh', KnownElt a)
   memptyArrayUnsafe sh = M_Nest sh (memptyArrayUnsafe (shxAppend sh (shxCompleteZeros (knownShX @sh'))))
 
   mvecsUnsafeNew sh example
diff --git a/src/Data/Array/Nested/Ranked/Base.hs b/src/Data/Array/Nested/Ranked/Base.hs
index e4305e5..fdad141 100644
--- a/src/Data/Array/Nested/Ranked/Base.hs
+++ b/src/Data/Array/Nested/Ranked/Base.hs
@@ -180,6 +180,8 @@ instance Elt a => Elt (Ranked n a) where
                     vecs)
 
 instance (KnownNat n, KnownElt a) => KnownElt (Ranked n a) where
+  type KnownEltC (Ranked n a) = (KnownNat n, KnownElt a)
+
   memptyArrayUnsafe :: forall sh. IShX sh -> Mixed sh (Ranked n a)
   memptyArrayUnsafe i
     | Dict <- lemKnownReplicate (SNat @n)
diff --git a/src/Data/Array/Nested/Shaped/Base.hs b/src/Data/Array/Nested/Shaped/Base.hs
index 5c45abd..1d48270 100644
--- a/src/Data/Array/Nested/Shaped/Base.hs
+++ b/src/Data/Array/Nested/Shaped/Base.hs
@@ -173,6 +173,8 @@ instance Elt a => Elt (Shaped sh a) where
                     vecs)
 
 instance (KnownShS sh, KnownElt a) => KnownElt (Shaped sh a) where
+  type KnownEltC (Shaped sh a) = (KnownShS sh, KnownElt a)
+
   memptyArrayUnsafe :: forall sh'. IShX sh' -> Mixed sh' (Shaped sh a)
   memptyArrayUnsafe i
     | Dict <- lemKnownMapJust (Proxy @sh)