diff --git a/dhall/src/Dhall/Syntax/Chunks.hs-boot b/dhall/src/Dhall/Syntax/Chunks.hs-boot
index 23070a09c..fa0e1e121 100644
--- a/dhall/src/Dhall/Syntax/Chunks.hs-boot
+++ b/dhall/src/Dhall/Syntax/Chunks.hs-boot
@@ -1,3 +1,8 @@
+{-# LANGUAGE StandaloneKindSignatures #-}
+
 module Dhall.Syntax.Chunks where
 
+import Data.Kind (Type)
+
+type Chunks :: Type -> Type -> Type
 data Chunks s a
diff --git a/dhall/src/Dhall/Syntax/Types.hs-boot b/dhall/src/Dhall/Syntax/Types.hs-boot
index 489e8a694..4e255a597 100644
--- a/dhall/src/Dhall/Syntax/Types.hs-boot
+++ b/dhall/src/Dhall/Syntax/Types.hs-boot
@@ -1,9 +1,14 @@
+{-# LANGUAGE StandaloneKindSignatures #-}
+
 module Dhall.Syntax.Types where
 
+import Data.Kind (Type)
+
 data DhallDouble
 
 data PreferAnnotation
 
+type FieldSelection :: Type -> Type
 data FieldSelection s
 
 data WithComponent