1 files changed, 3 insertions, 5 deletions

diff --git a/packages/tests/src/Numeric/LinearAlgebra/Tests/Instances.hs b/packages/tests/src/Numeric/LinearAlgebra/Tests/Instances.hs
index 3211877..37f7da2 100644
--- a/packages/tests/src/Numeric/LinearAlgebra/Tests/Instances.hs
+++ b/packages/tests/src/Numeric/LinearAlgebra/Tests/Instances.hs
@@ -56,11 +56,9 @@ instance KnownNat n => Arbitrary (Static.R n) where
       l <- vector n
       return (Static.fromList l)
 
-      where proxy :: Proxy n
-            proxy = proxy
-
-            n :: Int
-            n = fromIntegral (natVal proxy)
+      where
+        n :: Int
+        n = fromIntegral (natVal (Proxy :: Proxy n))
 
     shrink v = []