diff --git a/composite-dhall.cabal b/composite-dhall.cabal
--- a/composite-dhall.cabal
+++ b/composite-dhall.cabal
@@ -1,11 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.4.
+-- This file has been generated from package.yaml by hpack version 0.34.7.
 --
 -- see: https://github.com/sol/hpack
 
 name:           composite-dhall
-version:        0.1.0.0
+version:        0.1.0.1
 synopsis:       Dhall instances for composite records.
 description:    Dhall instances for composite records.
 category:       Composite, Data, Dhall
@@ -40,10 +40,10 @@
   ghc-options: -Weverything -Wno-all-missed-specialisations -Wno-missing-import-lists -Wno-implicit-prelude -Wno-monomorphism-restriction -Wno-missing-local-signatures -Wno-missing-safe-haskell-mode -Wno-prepositive-qualified-module -Wno-orphans -Wno-safe -Wno-unsafe
   build-depends:
       base >=4.7 && <5
-    , composite-base >=0.7.0.0 && <0.8
-    , dhall ==1.40.*
-    , text >=1.0 && <1.4
-    , vinyl >=0.13.0 && <0.14
+    , composite-base >=0.7.0.0 && <0.9
+    , dhall >=1.40 && <1.42
+    , text >=1.0 && <2.1
+    , vinyl >=0.13.0 && <0.15
   default-language: Haskell2010
 
 test-suite composite-dhall-test
@@ -56,11 +56,11 @@
   ghc-options: -Weverything -Wno-all-missed-specialisations -Wno-missing-import-lists -Wno-implicit-prelude -Wno-monomorphism-restriction -Wno-missing-local-signatures -Wno-missing-safe-haskell-mode -Wno-prepositive-qualified-module -Wno-orphans -Wno-safe -Wno-unsafe -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       base >=4.7 && <5
-    , composite-base >=0.7.0.0 && <0.8
+    , composite-base >=0.7.0.0 && <0.9
     , composite-dhall
-    , dhall ==1.40.*
+    , dhall >=1.40 && <1.42
     , tasty
     , tasty-hunit
-    , text >=1.0 && <1.4
-    , vinyl >=0.13.0 && <0.14
+    , text >=1.0 && <2.1
+    , vinyl >=0.13.0 && <0.15
   default-language: Haskell2010
diff --git a/src/Composite/Dhall.hs b/src/Composite/Dhall.hs
--- a/src/Composite/Dhall.hs
+++ b/src/Composite/Dhall.hs
@@ -1,30 +1,30 @@
-{-# LANGUAGE DataKinds #-}
-{-# LANGUAGE DerivingVia #-}
-{-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE DataKinds                  #-}
+{-# LANGUAGE DerivingVia                #-}
+{-# LANGUAGE FlexibleContexts           #-}
+{-# LANGUAGE FlexibleInstances          #-}
 {-# LANGUAGE GeneralisedNewtypeDeriving #-}
-{-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE RankNTypes #-}
-{-# LANGUAGE RecordWildCards #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE StandaloneDeriving #-}
-{-# LANGUAGE TypeApplications #-}
-{-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE OverloadedStrings          #-}
+{-# LANGUAGE RankNTypes                 #-}
+{-# LANGUAGE RecordWildCards            #-}
+{-# LANGUAGE ScopedTypeVariables        #-}
+{-# LANGUAGE StandaloneDeriving         #-}
+{-# LANGUAGE TypeApplications           #-}
+{-# LANGUAGE TypeFamilies               #-}
+{-# LANGUAGE TypeOperators              #-}
 {-# OPTIONS_GHC -fno-warn-incomplete-patterns #-}
 
 module Composite.Dhall (TextTemplate (TextTemplate, unTextTemplate), runTextTemplate, F (F, unF), CoF (CoF, unCoF)) where
 
-import Composite.Record
-import Control.Applicative
-import Data.Functor.Contravariant
-import Data.Text (Text)
-import Data.Void
-import qualified Dhall as D
-import Dhall.Core hiding (File, Text)
-import Dhall.Map
-import Dhall.Src
-import GHC.TypeLits
+import           Composite.Record
+import           Control.Applicative
+import           Data.Functor.Contravariant
+import           Data.Text                  (Text)
+import           Data.Void
+import qualified Dhall                      as D
+import           Dhall.Core                 hiding (File, Text)
+import           Dhall.Map
+import           Dhall.Src
+import           GHC.TypeLits
 
 unsafeExpectRecordLit ::
   Text -> Expr Src Void -> Dhall.Map.Map Text (RecordField Src Void)
diff --git a/src/Composite/Dhall/CoRecord.hs b/src/Composite/Dhall/CoRecord.hs
--- a/src/Composite/Dhall/CoRecord.hs
+++ b/src/Composite/Dhall/CoRecord.hs
@@ -1,24 +1,24 @@
-{-# LANGUAGE DataKinds #-}
-{-# LANGUAGE DerivingVia #-}
-{-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE RankNTypes #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeApplications #-}
-{-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE DataKinds            #-}
+{-# LANGUAGE DerivingVia          #-}
+{-# LANGUAGE FlexibleContexts     #-}
+{-# LANGUAGE FlexibleInstances    #-}
+{-# LANGUAGE RankNTypes           #-}
+{-# LANGUAGE ScopedTypeVariables  #-}
+{-# LANGUAGE TypeApplications     #-}
+{-# LANGUAGE TypeFamilies         #-}
+{-# LANGUAGE TypeOperators        #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -fno-warn-incomplete-patterns #-}
 
 module Composite.Dhall.CoRecord () where
 
-import Composite.CoRecord hiding (Op)
-import Composite.Record
-import Data.Functor.Compose
-import Data.Functor.Identity
-import Data.Vinyl
-import qualified Dhall as D
-import GHC.TypeLits
+import           Composite.CoRecord    hiding (Op)
+import           Composite.Record
+import           Data.Functor.Compose
+import           Data.Functor.Identity
+import           Data.Vinyl
+import qualified Dhall                 as D
+import           GHC.TypeLits
 
 class FromDhallUnion x where
   autoWithU :: D.InputNormalizer -> D.UnionDecoder x
diff --git a/test/Spec.hs b/test/Spec.hs
--- a/test/Spec.hs
+++ b/test/Spec.hs
@@ -1,30 +1,30 @@
-{-# LANGUAGE DataKinds #-}
-{-# LANGUAGE DerivingVia #-}
-{-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE DataKinds                  #-}
+{-# LANGUAGE DerivingVia                #-}
+{-# LANGUAGE FlexibleContexts           #-}
+{-# LANGUAGE FlexibleInstances          #-}
 {-# LANGUAGE GeneralisedNewtypeDeriving #-}
-{-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE RecordWildCards #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE StandaloneDeriving #-}
-{-# LANGUAGE TemplateHaskell #-}
-{-# LANGUAGE TypeApplications #-}
-{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE OverloadedStrings          #-}
+{-# LANGUAGE RecordWildCards            #-}
+{-# LANGUAGE ScopedTypeVariables        #-}
+{-# LANGUAGE StandaloneDeriving         #-}
+{-# LANGUAGE TemplateHaskell            #-}
+{-# LANGUAGE TypeApplications           #-}
+{-# LANGUAGE TypeOperators              #-}
 {-# OPTIONS_GHC -fno-warn-unused-top-binds #-}
 
 module Main (main) where
 
-import Composite
-import Composite.CoRecord hiding (Op)
-import Composite.Dhall
-import Composite.Dhall.CoRecord ()
-import Composite.TH
-import Data.Functor.Contravariant
-import Data.Functor.Identity
-import Data.Text
-import Dhall as D hiding (field)
-import Test.Tasty
-import Test.Tasty.HUnit
+import           Composite
+import           Composite.CoRecord         hiding (Op)
+import           Composite.Dhall
+import           Composite.Dhall.CoRecord   ()
+import           Composite.TH
+import           Data.Functor.Contravariant
+import           Data.Functor.Identity
+import           Data.Text
+import           Dhall                      as D hiding (field)
+import           Test.Tasty
+import           Test.Tasty.HUnit
 
 withLensesAndProxies
   [d|