diff --git a/numhask-array.cabal b/numhask-array.cabal
--- a/numhask-array.cabal
+++ b/numhask-array.cabal
@@ -1,5 +1,6 @@
+cabal-version: 3.0
 name: numhask-array
-version: 0.5.1
+version: 0.6.0
 synopsis:
   n-dimensional arrays
 description:
@@ -17,15 +18,13 @@
 copyright:
   Tony Day
 license:
-  BSD3
+  BSD-3-Clause
 license-file:
   LICENSE
 tested-with:
-  GHC==8.4.1
+  GHC==8.8.3
 build-type:
   Simple
-cabal-version:
-  1.18
 extra-source-files:
     readme.md
     stack.yaml
@@ -53,9 +52,9 @@
     , adjunctions >=4.0 && <5
     , deepseq >=1.4.2.0 && <2
     , distributive >=0.4 && <0.7
-    , numhask >= 0.3.1 && <0.5
-    , numhask-prelude >=0.3 && <0.4
-    , protolude >=0.2 && <0.3
+    , numhask >= 0.3.1 && <0.6
+    , numhask-prelude >=0.3 && <0.6
+    , protolude >=0.2 && <0.4
     , vector >=0.10 && <0.13
     , hmatrix
   exposed-modules:
@@ -80,8 +79,8 @@
   build-depends:
       base >=4.11 && <5
     , doctest >=0.13 && <0.17
-    , numhask-array >=0.3 && <0.6
-    , numhask-prelude >=0.3 && <0.4
-    , numhask-hedgehog >=0.3 && <0.4
+    , numhask-array
+    , numhask-prelude >=0.3 && <0.6
+    , numhask-hedgehog >=0.3 && <0.5
     , hedgehog >=0.5 && <1.1
   default-language: Haskell2010
diff --git a/src/NumHask/Array/Dynamic.hs b/src/NumHask/Array/Dynamic.hs
--- a/src/NumHask/Array/Dynamic.hs
+++ b/src/NumHask/Array/Dynamic.hs
@@ -22,6 +22,10 @@
     -- * Conversion
     fromFlatList,
 
+    -- * representable replacements
+    index,
+    tabulate,
+
     -- * Operators
     reshape,
     transpose,
diff --git a/src/NumHask/Array/HMatrix.hs b/src/NumHask/Array/HMatrix.hs
--- a/src/NumHask/Array/HMatrix.hs
+++ b/src/NumHask/Array/HMatrix.hs
@@ -77,7 +77,6 @@
 import Data.List ((!!))
 import qualified Data.Vector as V
 import GHC.Exts (IsList (..))
-import GHC.Show (Show (..))
 import GHC.TypeLits
 import qualified NumHask.Array.Dynamic as D
 import qualified NumHask.Array.Fixed as F
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,11 +1,11 @@
-resolver: lts-14.13
+resolver: lts-15.13
 
 packages:
   - .
 
 extra-deps:
-  - numhask-0.4.0
-  - numhask-prelude-0.3.3
-  - numhask-hedgehog-0.3.2
-  - numhask-space-0.3.0
-  - tdigest-0.2.1
+  - numhask-0.5.0
+  - numhask-prelude-0.5.0
+  - numhask-hedgehog-0.4.0
+  - numhask-space-0.4.0
+  - protolude-0.3.0
diff --git a/test/test.hs b/test/test.hs
--- a/test/test.hs
+++ b/test/test.hs
@@ -7,14 +7,12 @@
 
 module Main where
 
-import GHC.Exts (IsList (..))
 import qualified Hedgehog as H
 import NumHask.Array.Fixed
 import NumHask.Array.Shape
 import NumHask.Hedgehog
 import NumHask.Prelude as P
 import Test.DocTest
-import qualified Prelude
 
 genAIntegral :: forall a m r. (HasShape r, H.MonadGen m, Additive a, Bounded a, ToInteger a, FromInteger a) => m (Array (r :: [Nat]) a)
 genAIntegral = fromList <$> replicateM (fromIntegral n) integral_
@@ -37,13 +35,13 @@
   bVInt <-
     assertProps
       "Vector Int 6"
-      (Prelude.fromInteger 100)
+      100
       (genAIntegral :: H.Gen (Vector 6 Int))
       numhaskProps
   bMInt <-
     assertProps
       "Matrix '[3,4] Int"
-      (Prelude.fromInteger 100)
+      100
       (genAIntegral :: H.Gen (Array '[3, 4] Int))
       numhaskProps
   unless