5 files changed, 5 insertions, 13 deletions
diff --git a/src/Data/Array/Nested/Mixed.hs b/src/Data/Array/Nested/Mixed.hs
index 2a8311f..b036203 100644
--- a/src/Data/Array/Nested/Mixed.hs
+++ b/src/Data/Array/Nested/Mixed.hs
@@ -755,13 +755,13 @@ instance (KnownShX sh', KnownElt a) => KnownElt (Mixed sh' a) where
 -- that index in the vectors.
 {-# INLINE mvecsWrite #-}
 mvecsWrite :: Elt a => IShX sh -> IIxX sh -> a -> MixedVecs s sh a -> ST s ()
-mvecsWrite sh idx val vecs = mvecsWriteLinear (ixxToLinear sh idx) val vecs
+mvecsWrite sh idx = mvecsWriteLinear (ixxToLinear sh idx)
 
 -- | Given the shape of this array, an index and a value, write the value at
 -- that index in the vectors.
 {-# INLINE mvecsWritePartial #-}
 mvecsWritePartial :: forall sh sh' s a. Elt a => IShX sh -> IIxX sh -> Mixed sh' a -> MixedVecs s (sh ++ sh') a -> ST s ()
-mvecsWritePartial sh idx val vecs = mvecsWritePartialLinear (Proxy @sh) (ixxToLinear sh idx) val vecs
+mvecsWritePartial sh idx = mvecsWritePartialLinear (Proxy @sh) (ixxToLinear sh idx)
 
 -- TODO: should we provide a function that's just memptyArrayUnsafe but with a size==0 check? That may save someone a transpose somewhere
 memptyArray :: forall sh a. KnownElt a => IShX sh -> Mixed (Just 0 : sh) a
diff --git a/src/Data/Array/Nested/Mixed/ListX.hs b/src/Data/Array/Nested/Mixed/ListX.hs
index 048003f..51db341 100644
--- a/src/Data/Array/Nested/Mixed/ListX.hs
+++ b/src/Data/Array/Nested/Mixed/ListX.hs
@@ -6,7 +6,6 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE ImportQualifiedPost #-}
-{-# LANGUAGE MagicHash #-}
 {-# LANGUAGE NoStarIsType #-}
 {-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE PolyKinds #-}
@@ -16,7 +15,6 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
 {-# LANGUAGE StrictData #-}
-{-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs
index 25cecb5..a5e3ced 100644
--- a/src/Data/Array/Nested/Mixed/Shape.hs
+++ b/src/Data/Array/Nested/Mixed/Shape.hs
@@ -16,7 +16,6 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
 {-# LANGUAGE StrictData #-}
-{-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
@@ -491,7 +490,7 @@ shxFromList (StaticShX topssh) topl = ShX $ go topssh topl
     go ZH _ = error $ "shxFromList: List too long (type says " ++ show (listhLength topssh) ++ ")"
     go (ConsKnown sn sh) (i : is)
       | i == fromSNat' sn = ConsKnown sn (go sh is)
-      | otherwise = error $ "shxFromList: Value does not match typing"
+      | otherwise = error "shxFromList: Value does not match typing"
     go (ConsUnknown () sh) (i : is) = ConsUnknown i (go sh is)
     go _ _ = error $ "shxFromList: List too short (type says " ++ show (listhLength topssh) ++ ")"
 
diff --git a/src/Data/Array/Nested/Ranked/Shape.hs b/src/Data/Array/Nested/Ranked/Shape.hs
index d35383f..690b7da 100644
--- a/src/Data/Array/Nested/Ranked/Shape.hs
+++ b/src/Data/Array/Nested/Ranked/Shape.hs
@@ -4,8 +4,6 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE ImportQualifiedPost #-}
-{-# LANGUAGE LambdaCase #-}
-{-# LANGUAGE MagicHash #-}
 {-# LANGUAGE NoStarIsType #-}
 {-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE PolyKinds #-}
@@ -15,7 +13,6 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
 {-# LANGUAGE StrictData #-}
-{-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeAbstractions #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
diff --git a/src/Data/Array/Nested/Shaped/Shape.hs b/src/Data/Array/Nested/Shaped/Shape.hs
index bec2495..622ab97 100644
--- a/src/Data/Array/Nested/Shaped/Shape.hs
+++ b/src/Data/Array/Nested/Shaped/Shape.hs
@@ -4,7 +4,6 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE ImportQualifiedPost #-}
-{-# LANGUAGE MagicHash #-}
 {-# LANGUAGE NoStarIsType #-}
 {-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE PolyKinds #-}
@@ -14,7 +13,6 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
 {-# LANGUAGE StrictData #-}
-{-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
@@ -185,7 +183,7 @@ type IIxS sh = IxS sh Int
 deriving instance Show i => Show (IxS sh i)
 #else
 instance Show i => Show (IxS sh i) where
-  showsPrec _ (IxS l) = listsShow (\i -> shows i) l
+  showsPrec _ (IxS l) = listsShow shows l
 #endif
 
 ixsRank :: IxS sh i -> SNat (Rank sh)
@@ -335,7 +333,7 @@ shsFromList sh0@(ShS (ShX topsh)) topl = go topsh topl `seq` sh0
     go ZH _ = error $ "shsFromList: List too long (type says " ++ show (listhLength topsh) ++ ")"
     go (ConsKnown sn sh) (i : is)
       | i == fromSNat' sn = go sh is
-      | otherwise = error $ "shsFromList: Value does not match typing"
+      | otherwise = error "shsFromList: Value does not match typing"
     go ConsUnknown{} _ = error "shsFromList: impossible case"
     go _ _ = error $ "shsFromList: List too short (type says " ++ show (listhLength topsh) ++ ")"