diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for dhall-recursive-adt
 
+## 0.1.0.1 -- 2021-06-04
+
+* Support Dhall 1.39 and GHC 9.0.
+
 ## 0.1.0.0 -- 2021-01-28
 
 * First version. Released on an uNsUsPeCtInG world.
diff --git a/dhall-recursive-adt.cabal b/dhall-recursive-adt.cabal
--- a/dhall-recursive-adt.cabal
+++ b/dhall-recursive-adt.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.4
 name: dhall-recursive-adt
-version: 0.1.0.0
+version: 0.1.0.1
 
 synopsis: Convert recursive ADTs from and to Dhall
 description:
@@ -39,7 +39,7 @@
     Dhall.Deriving.Recursive
   build-depends:
       base >= 4.12 && < 5
-    , dhall ^>= 1.38
+    , dhall >= 1.38 && < 1.40
     , data-fix ^>= 0.3
     , recursion-schemes ^>= 5.2
 
@@ -57,7 +57,7 @@
     , recursion-schemes
     , tasty >= 1.3 && <= 1.5
     , tasty-hunit ^>= 0.10
-    , tasty-hedgehog ^>= 1
+    , tasty-hedgehog >= 1.0 && < 1.2
     , hedgehog ^>= 1
 
 test-suite docspec
@@ -69,4 +69,4 @@
   hs-source-dirs: test
   build-depends:
       base
-    , neat-interpolation ^>= 0.5
+    , yasi >= 0.1
diff --git a/src/Dhall/Deriving/Recursive.hs b/src/Dhall/Deriving/Recursive.hs
--- a/src/Dhall/Deriving/Recursive.hs
+++ b/src/Dhall/Deriving/Recursive.hs
@@ -148,9 +148,9 @@
 -- In Dhall, we can construct an @Expr@ like this:
 --
 -- >>> import qualified Dhall as D
--- >>> import NeatInterpolation
+-- >>> import Yasi
 -- >>> :{
--- dhallExpr <- D.inputExpr [trimming|
+-- dhallExpr <- D.inputExpr [i|
 --   let ExprF = λ(a : Type) → < LitF : Natural | AddF : { _1 : a, _2 : a } | MulF : { _1 : a, _2 : a } >
 --   let Expr  = ∀(a : Type) → (ExprF a → a) → a
 --   --