1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/T10617.hs b/testsuite/tests/ghci.debugger/scripts/T10617.hs
new file mode 100644
index 0000000000..bc649a7c63
--- /dev/null
+++ b/testsuite/tests/ghci.debugger/scripts/T10617.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE GADTs, StandaloneKindSignatures, PolyKinds, RankNTypes #-}
+
+import GHC.Types (Type)
+
+type AppTreeT :: forall k. k -> Type
+data AppTreeT a where
+  Con :: AppTreeT a
+  App :: AppTreeT a -> AppTreeT b -> AppTreeT (a b)
+
+tmt :: AppTreeT (Maybe Bool)
+tmt = App (Con :: AppTreeT Maybe) Con
+
+f :: AppTreeT a -> Bool
+f (App (c@Con) _) = const True c
+f _ = False