1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/th/T12045TH1.hs b/testsuite/tests/th/T12045TH1.hs
new file mode 100644
index 0000000000..c16bab29f9
--- /dev/null
+++ b/testsuite/tests/th/T12045TH1.hs
@@ -0,0 +1,17 @@
+{-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds
+             , TypeInType, TypeApplications, TypeFamilies  #-}
+
+module T12045TH1 where
+import Data.Kind
+import Language.Haskell.TH hiding (Type)
+
+$([d| type family F (a :: k) :: Type where
+                     F @Type Int = Bool
+                     F @(Type->Type) Maybe = Char |])
+
+
+$([d| data family D (a :: k) |])
+
+$([d| data instance D @Type a = DBool |])
+
+$([d| data instance D @(Type -> Type) b = DChar |])