diff --git a/tests/ghci/scripts/T7872.script b/tests/ghci/scripts/T7872.script
new file mode 100644
index 000000000..298cc87df
--- /dev/null
+++ b/tests/ghci/scripts/T7872.script
@@ -0,0 +1,7 @@
+:set -XRankNTypes
+type T = forall a. a -> a
+data D = MkT (forall b. b -> b)
+:i T
+:i D
+
+
diff --git a/tests/ghci/scripts/T7872.stdout b/tests/ghci/scripts/T7872.stdout
new file mode 100644
index 000000000..a2f891330
--- /dev/null
+++ b/tests/ghci/scripts/T7872.stdout
@@ -0,0 +1,2 @@
+type T = forall a. a -> a 	-- Defined at <interactive>:3:6
+data D = MkT (forall b. b -> b) 	-- Defined at <interactive>:4:6
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index 861df248d..bfb30e674 100755
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -147,4 +147,5 @@ test('T7627', normal, ghci_script, ['T7627.script'])
 test('T7627b', normal, ghci_script, ['T7627b.script'])
 test('T7586', normal, ghci_script, ['T7586.script'])
 test('T4175', normal, ghci_script, ['T4175.script'])
+test('T7872', normal, ghci_script, ['T7872.script'])