diff --git a/Math/LinearMap/Category/Instances.hs b/Math/LinearMap/Category/Instances.hs
--- a/Math/LinearMap/Category/Instances.hs
+++ b/Math/LinearMap/Category/Instances.hs
@@ -613,13 +613,15 @@
                           , dualSpaceWitness :: DualSpaceWitness v ) of 
           (ClosedScalarWitness, DualSpaceWitness) -> DualSpaceWitness
   linearId = case dualSpaceWitness :: DualSpaceWitness v of
-    DualSpaceWitness -> LinearMap undefined -- $ rassocTensor . asTensor
-                          -- . fmap (unsafeFollowVSC SymTensor . asTensor) $ id
-  tensorId = LinearMap undefined -- $ asTensor . fmap asTensor . curryLinearMap
-                         --  . fmap asTensor
-                         --  . curryLinearMap
-                         --  . fmap (unsafeFollowVSC $ \t -> Tensor $ rassocTensor $ t)
-                         --  $ id
+    DualSpaceWitness -> LinearMap undefined
+                         -- LinearMap $ rassocTensor . asTensor
+                         -- . fmap (unsafeFollowVSC SymTensor . asTensor) $ id
+  tensorId = LinearMap undefined
+                   -- LinearMap $ asTensor . fmap asTensor . curryLinearMap
+                   --  . fmap asTensor
+                   --  . curryLinearMap
+                   --  . fmap (unsafeFollowVSC $ \t -> Tensor $ rassocTensor $ t)
+                   --  $ id
   applyLinear = case dualSpaceWitness :: DualSpaceWitness v of
     DualSpaceWitness -> bilinearFunction $ \(LinearMap f) (SymTensor t)
                    -> (getLinearFunction applyLinear
diff --git a/Math/VectorSpace/DimensionAware.hs b/Math/VectorSpace/DimensionAware.hs
--- a/Math/VectorSpace/DimensionAware.hs
+++ b/Math/VectorSpace/DimensionAware.hs
@@ -263,7 +263,19 @@
       unsafeWriteArrayWithOffset arr i x
       unsafeWriteArrayWithOffset arr (i + dimension @u) y
 
+-- | To be used as an “absurd” values for implementing methods whose constraints combine
+--   to require both static- and flexible dimensionality (which can thus never be called).
+--
+--   The actual type of this should be
+--
+-- @
+--   notStaticDimensionalContradiction :: ∀ v n r
+--     . (n`Dimensional`v, StaticDimension v ~ 'Nothing) => r
+-- @
+--
+--   GHC 9.6 baulks at that, though. It is a self-contradicting type, but that's the whole point...
 notStaticDimensionalContradiction :: ∀ v n r
-  . (n`Dimensional`v, StaticDimension v ~ 'Nothing) => r
+  . ( -- n`Dimensional`v,
+      StaticDimension v ~ 'Nothing) => r
 notStaticDimensionalContradiction = undefined
 
diff --git a/linearmap-category.cabal b/linearmap-category.cabal
--- a/linearmap-category.cabal
+++ b/linearmap-category.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                linearmap-category
-version:             0.6.0.0
+version:             0.6.0.1
 synopsis:            Native, complete-ish, matrix-free linear algebra.
 description:         The term /numerical linear algebra/ is often used almost
                      synonymous with /matrix modifications/. However, what's interesting
@@ -78,20 +78,20 @@
                        tagged,
                        free-vector-spaces >= 0.1.4 && < 0.3,
                        linear, lens, transformers,
-                       manifolds-core >= 0.5.1.0 && < 0.7,
+                       manifolds-core >= 0.6.1.0 && < 0.7,
                        semigroups, hashable,
                        data-default-class,
                        ieee754 >= 0.7 && < 0.9,
                        call-stack,
-                       template-haskell >=2.12 && <2.20,
-                       th-abstraction >=0.4 && <0.5,
+                       template-haskell >=2.12 && <2.21,
+                       th-abstraction >=0.4 && <0.6,
                        ghc-typelits-natnormalise >=0.7 && <0.8,
-                       type-natural >=1.0 && <1.2,
+                       type-natural >=1.0 && <1.4,
                        QuickCheck >=2.11 && <2.15
   if flag(singletons3)
     build-depends:
-                       singletons >=3.0 && <3.1,
-                       singletons-base >=3.0 && <3.1
+                       singletons >=3.0 && <3.3,
+                       singletons-base >=3.0 && <3.3
   else
     build-depends:
                        singletons >=2.7 && <3.0