diff --git a/easytensor-vulkan.cabal b/easytensor-vulkan.cabal
--- a/easytensor-vulkan.cabal
+++ b/easytensor-vulkan.cabal
@@ -1,11 +1,13 @@
--- This file has been generated from package.yaml by hpack version 0.28.2.
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.31.1.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: fad38f4115bfb3f47299af6dd0d8aa0d593b610be874be25248337e8de34b0d2
+-- hash: fe65c6acd6937865b73c93a07e755a898d75d29aed15b93f7c899be76dc04cba
 
 name:           easytensor-vulkan
-version:        2.0.1.0
+version:        2.0.2.0
 synopsis:       Use easytensor with vulkan-api.
 description:    Use easytensor DataFrame types with vulkan-api. This package provides an orphan instance of PrimBytes for Vulkan structures, so they can be used as elements of DataFrames. In addition, it provides a few helper functions for working with array-like structures.
 category:       math, geometry, vulkan, bsd3, graphics, library, opengl
@@ -17,7 +19,6 @@
 license:        BSD3
 license-file:   LICENSE
 build-type:     Simple
-cabal-version:  >= 1.10
 
 source-repository head
   type: git
diff --git a/src/Graphics/Vulkan/Marshal/Create/DataFrame.hs b/src/Graphics/Vulkan/Marshal/Create/DataFrame.hs
--- a/src/Graphics/Vulkan/Marshal/Create/DataFrame.hs
+++ b/src/Graphics/Vulkan/Marshal/Create/DataFrame.hs
@@ -131,7 +131,7 @@
 --   Prefer this function to using @unsafePtr a@, because the latter
 --    does not keep the dependency information in GC, which results in
 --    member structure being garbage-collected and the reference being invalid.
-setDFRef :: forall fname x a ds
+setDFRef :: forall fname x a (ds :: [Nat])
           . ( CanWriteField fname x
             , FieldType fname x ~ Ptr a
             , PrimBytes a, Dimensions ds
@@ -159,7 +159,7 @@
                . PrimBytes a
               => Word -> (Ptr a -> IO ()) -> IO (Vector a (XN 0))
 fillDataFrame n k
-  | Dx (_ :: Dim n) <- someDimVal n
+  | Dx (D :: Dim n) <- someDimVal n
   , Dict <- inferKnownBackend @a @'[n]
   = do
      mdf <- newPinnedDataFrame