7 files changed, 8 insertions, 8 deletions
diff --git a/src/Data/Array/Mixed/Lemmas.hs b/src/Data/Array/Mixed/Lemmas.hs
index ca82573..7b3365b 100644
--- a/src/Data/Array/Mixed/Lemmas.hs
+++ b/src/Data/Array/Mixed/Lemmas.hs
@@ -13,8 +13,8 @@ import Data.Type.Equality
 import GHC.TypeLits
 
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
+import Data.Array.Nested.Mixed.Shape
 
 
 -- * Reasoning helpers
diff --git a/src/Data/Array/Mixed/Permutation.hs b/src/Data/Array/Mixed/Permutation.hs
index 22672cb..ef0afe3 100644
--- a/src/Data/Array/Mixed/Permutation.hs
+++ b/src/Data/Array/Mixed/Permutation.hs
@@ -29,8 +29,8 @@ import GHC.TypeError
 import GHC.TypeLits
 import GHC.TypeNats qualified as TN
 
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
+import Data.Array.Nested.Mixed.Shape
 
 
 -- * Permutations
diff --git a/src/Data/Array/Mixed/XArray.hs b/src/Data/Array/Mixed/XArray.hs
index 3e7a498..502d5d9 100644
--- a/src/Data/Array/Mixed/XArray.hs
+++ b/src/Data/Array/Mixed/XArray.hs
@@ -34,8 +34,8 @@ import GHC.TypeLits
 import Data.Array.Mixed.Internal.Arith
 import Data.Array.Mixed.Lemmas
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
+import Data.Array.Nested.Mixed.Shape
 
 
 type XArray :: [Maybe Nat] -> Type -> Type
diff --git a/src/Data/Array/Nested/Internal/Convert.hs b/src/Data/Array/Nested/Internal/Convert.hs
index 5d6cee4..4e0f17d 100644
--- a/src/Data/Array/Nested/Internal/Convert.hs
+++ b/src/Data/Array/Nested/Internal/Convert.hs
@@ -12,13 +12,13 @@ import Data.Proxy
 import Data.Type.Equality
 
 import Data.Array.Mixed.Lemmas
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
 import Data.Array.Nested.Internal.Lemmas
 import Data.Array.Nested.Internal.Mixed
 import Data.Array.Nested.Internal.Ranked
-import Data.Array.Nested.Shaped.Shape
 import Data.Array.Nested.Internal.Shaped
+import Data.Array.Nested.Mixed.Shape
+import Data.Array.Nested.Shaped.Shape
 
 
 stoRanked :: Elt a => Shaped sh a -> Ranked (Rank sh) a
diff --git a/src/Data/Array/Nested/Internal/Lemmas.hs b/src/Data/Array/Nested/Internal/Lemmas.hs
index b8baf96..f4bad70 100644
--- a/src/Data/Array/Nested/Internal/Lemmas.hs
+++ b/src/Data/Array/Nested/Internal/Lemmas.hs
@@ -11,8 +11,8 @@ import GHC.TypeLits
 
 import Data.Array.Mixed.Lemmas
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
+import Data.Array.Nested.Mixed.Shape
 import Data.Array.Nested.Shaped.Shape
 
 
diff --git a/src/Data/Array/Nested/Internal/Mixed.hs b/src/Data/Array/Nested/Internal/Mixed.hs
index b76aa50..a979d6c 100644
--- a/src/Data/Array/Nested/Internal/Mixed.hs
+++ b/src/Data/Array/Nested/Internal/Mixed.hs
@@ -45,10 +45,10 @@ import Unsafe.Coerce (unsafeCoerce)
 import Data.Array.Mixed.Internal.Arith
 import Data.Array.Mixed.Lemmas
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
 import Data.Array.Mixed.XArray (XArray(..))
 import Data.Array.Mixed.XArray qualified as X
+import Data.Array.Nested.Mixed.Shape
 import Data.Bag
 
 
diff --git a/src/Data/Array/Nested/Internal/Shaped.hs b/src/Data/Array/Nested/Internal/Shaped.hs
index 86dcee2..1415815 100644
--- a/src/Data/Array/Nested/Internal/Shaped.hs
+++ b/src/Data/Array/Nested/Internal/Shaped.hs
@@ -40,12 +40,12 @@ import GHC.TypeLits
 
 import Data.Array.Mixed.Lemmas
 import Data.Array.Mixed.Permutation
-import Data.Array.Nested.Mixed.Shape
 import Data.Array.Mixed.Types
 import Data.Array.Mixed.XArray (XArray)
 import Data.Array.Mixed.XArray qualified as X
 import Data.Array.Nested.Internal.Lemmas
 import Data.Array.Nested.Internal.Mixed
+import Data.Array.Nested.Mixed.Shape
 import Data.Array.Nested.Shaped.Shape
 import Data.Array.Strided.Arith