1 files changed, 1 insertions, 1 deletions

diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs
index 296f8c7..fafbf81 100644
--- a/packages/base/src/Numeric/LinearAlgebra/Static.hs
+++ b/packages/base/src/Numeric/LinearAlgebra/Static.hs
@@ -517,7 +517,7 @@ uniformSample s (extract -> mins) (extract -> maxs) =
                            (zip (LA.toList mins) (LA.toList maxs))
 
 meanCov
-    :: forall m n . (KnownNat m, KnownNat n)
+    :: forall m n . (KnownNat m, KnownNat n, 1 <= m)
     => L m n
     -> (R n, Sym n)
 meanCov (extract -> vs) = mkR *** (Sym . mkL . LA.unSym) $ LA.meanCov vs