Eliminate all QuantifiedConstraints extensions from the code

1 files changed, 2 insertions, 3 deletions

diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs
index abcf3f8..4dd350a 100644
--- a/src/Data/Array/Nested/Mixed/Shape.hs
+++ b/src/Data/Array/Nested/Mixed/Shape.hs
@@ -10,7 +10,6 @@
 {-# LANGUAGE NoStarIsType #-}
 {-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE PolyKinds #-}
-{-# LANGUAGE QuantifiedConstraints #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE RoleAnnotations #-}
 {-# LANGUAGE ScopedTypeVariables #-}
@@ -316,9 +315,9 @@ deriving instance Show i => Show (SMayNat i n)
 deriving instance Eq i => Eq (SMayNat i n)
 deriving instance Ord i => Ord (SMayNat i n)
 
-instance (NFData i, forall m. NFData (SNat m)) => NFData (SMayNat i n) where
+instance NFData i => NFData (SMayNat i n) where
   rnf (SUnknown i) = rnf i
-  rnf (SKnown x) = rnf x
+  rnf (SKnown SNat) = ()
 
 instance TestEquality (SMayNat i) where
   testEquality SUnknown{} SUnknown{} = Just Refl