From 736e04ab36c57306bd7d30221c32a70e265dd34a Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Thu, 22 Jan 2026 10:41:36 +0100
Subject: Eliminate all QuantifiedConstraints extensions from the code

---
 src/Data/Array/Nested/Mixed/Shape.hs  | 5 ++---
 src/Data/Array/Nested/Ranked/Shape.hs | 1 -
 src/Data/Array/Nested/Shaped/Shape.hs | 1 -
 3 files changed, 2 insertions(+), 5 deletions(-)

(limited to 'src')

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
diff --git a/src/Data/Array/Nested/Ranked/Shape.hs b/src/Data/Array/Nested/Ranked/Shape.hs
index 6d47ade..e44ab64 100644
--- a/src/Data/Array/Nested/Ranked/Shape.hs
+++ b/src/Data/Array/Nested/Ranked/Shape.hs
@@ -9,7 +9,6 @@
 {-# LANGUAGE NoStarIsType #-}
 {-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE PolyKinds #-}
-{-# LANGUAGE QuantifiedConstraints #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE RoleAnnotations #-}
 {-# LANGUAGE ScopedTypeVariables #-}
diff --git a/src/Data/Array/Nested/Shaped/Shape.hs b/src/Data/Array/Nested/Shaped/Shape.hs
index c5e3202..f98c860 100644
--- a/src/Data/Array/Nested/Shaped/Shape.hs
+++ b/src/Data/Array/Nested/Shaped/Shape.hs
@@ -8,7 +8,6 @@
 {-# LANGUAGE NoStarIsType #-}
 {-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE PolyKinds #-}
-{-# LANGUAGE QuantifiedConstraints #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE RoleAnnotations #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-- 
cgit v1.2.3-70-g09d2