4 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T17384.hs b/testsuite/tests/ghci/scripts/T17384.hs
new file mode 100644
index 0000000000..ce9216b59f
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T17384.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE KindSignatures #-}
+module T17384 where
+
+import Data.Kind
+
+data T :: Type -> Type where
+  MkT :: T (Maybe Bool)
diff --git a/testsuite/tests/ghci/scripts/T17384.script b/testsuite/tests/ghci/scripts/T17384.script
new file mode 100644
index 0000000000..7274d86aaf
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T17384.script
@@ -0,0 +1,2 @@
+:load T17384
+:info T
diff --git a/testsuite/tests/ghci/scripts/T17384.stdout b/testsuite/tests/ghci/scripts/T17384.stdout
new file mode 100644
index 0000000000..c610cc5826
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T17384.stdout
@@ -0,0 +1,5 @@
+type role T nominal
+type T :: * -> *
+data T a where
+  MkT :: T (Maybe Bool)
+  	-- Defined at T17384.hs:7:1
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T
index 96c63149fb..96ca2eba24 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/tests/ghci/scripts/all.T
@@ -312,3 +312,4 @@ test('T16804', extra_files(['T16804a.hs', 'T16804b.hs', 'T16804c.hs']), ghci_scr
 test('T15546', normal, ghci_script, ['T15546.script'])
 test('T16876', normal, ghci_script, ['T16876.script'])
 test('T17345', normal, ghci_script, ['T17345.script'])
+test('T17384', normal, ghci_script, ['T17384.script'])