1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15807.hs b/testsuite/tests/typecheck/should_fail/T15807.hs
new file mode 100644
index 0000000000..fa121d608e
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T15807.hs
@@ -0,0 +1,12 @@
+{-# Language RankNTypes       #-}
+{-# Language TypeApplications #-}
+{-# Language PolyKinds        #-}
+{-# Language GADTs            #-}
+
+module T15807 where
+import Data.Kind
+
+data
+  App :: forall (f :: k -> Type). k -> Type
+  where
+  MkApp :: f a -> App @f a