From c6d09e327a935cf3f109297031d04aecfc8cf0a9 Mon Sep 17 00:00:00 2001
From: Mann mit Hut <github+mmhat@with-h.at>
Date: Fri, 31 May 2024 19:42:53 +0200
Subject: [PATCH] Added kind signatures in boot files

---
 dhall/src/Dhall/Syntax/Chunks.hs-boot | 5 +++++
 dhall/src/Dhall/Syntax/Types.hs-boot  | 5 +++++
 2 files changed, 10 insertions(+)

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