diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
index 1ccbf7db4..33cf7c007 100644
--- a/copilot-core/CHANGELOG
+++ b/copilot-core/CHANGELOG
@@ -1,3 +1,6 @@
+2026-10-11
+	* Increase test coverage for `Copilot.Core.Type.Array`. (#767)
+
 2026-09-07
         * Version bump (4.8.1). (#760)
 
diff --git a/copilot-core/src/Copilot/Core/Type/Array.hs b/copilot-core/src/Copilot/Core/Type/Array.hs
index b11e8949b..07c10ba31 100644
--- a/copilot-core/src/Copilot/Core/Type/Array.hs
+++ b/copilot-core/src/Copilot/Core/Type/Array.hs
@@ -37,7 +37,7 @@ array xs | datalen == typelen = Array xs
          | otherwise          = error errmsg
   where
     datalen = length xs
-    typelen = fromIntegral $ natVal (Proxy :: Proxy n)
+    typelen = fromIntegral $ natVal $! (Proxy :: Proxy n)
     errmsg = "Length of data (" ++ show datalen ++
              ") does not match length of type (" ++ show typelen ++ ")."
 
diff --git a/copilot-core/tests/Test/Copilot/Core/Type/Array.hs b/copilot-core/tests/Test/Copilot/Core/Type/Array.hs
index e070f138b..0af0ffae9 100644
--- a/copilot-core/tests/Test/Copilot/Core/Type/Array.hs
+++ b/copilot-core/tests/Test/Copilot/Core/Type/Array.hs
@@ -11,8 +11,9 @@ import Test.Framework                       (Test, testGroup)
 import Test.Framework.Providers.QuickCheck2 (testProperty)
 import Test.QuickCheck                      (Gen, Property, arbitrary,
                                              chooseInt, expectFailure, forAll,
-                                             getNegative, getNonNegative, oneof,
-                                             property, vector, vectorOf)
+                                             getNegative, getNonNegative,
+                                             listOf, oneof, property, vector,
+                                             vectorOf)
 
 -- Internal imports: library modules being tested
 import Copilot.Core.Type.Array (Array, array, arrayElems, arrayUpdate)
@@ -31,6 +32,10 @@ tests =
         testArrayElemsFail
     , testProperty "Show for arrays"
         testShowArray
+    , testProperty "showsPrec for arrays"
+        testShowsPrecArray
+    , testProperty "showList for arrays"
+        testShowListArray
     , testProperty "arrayElems (arrayUpdate x i v) !! i == v"
         (testArrayUpdateElem (Proxy :: Proxy 5))
     , testProperty "arrayUpdate x i ((arrayElems x) !! i) == x"
@@ -70,6 +75,17 @@ testShowArray :: Property
 testShowArray = forAll (vector 3) $ \l -> property $
   show (array l :: Array 3 Int64) == show (l :: [Int64])
 
+-- | Test 'Show.showsPrec' for 'Array's.
+testShowsPrecArray :: Property
+testShowsPrecArray = forAll (getNonNegative <$> arbitrary) $ \prec ->
+                     forAll (vector 3)                     $ \l -> property $
+  showsPrec prec (array l :: Array 3 Int64) "" == show (l :: [Int64])
+
+-- | Test 'Show.showList' for 'Array's.
+testShowListArray :: Property
+testShowListArray = forAll (listOf $ vector 3) $ \l -> property $
+  showList (map array l :: [Array 3 Int64]) "" == show (l :: [[Int64]])
+
 -- | Test that updating an array updates the element appropriately (if we
 -- project that element we get the value we put in).
 testArrayUpdateElem :: forall n . KnownNat n => Proxy n -> Property