diff --git a/tests/ghci/scripts/T7586.script b/tests/ghci/scripts/T7586.script
new file mode 100644
index 000000000..7f510a01a
--- /dev/null
+++ b/tests/ghci/scripts/T7586.script
@@ -0,0 +1,4 @@
+type T a b = a -> b
+:k T
+:k T Int
+:k T Int Bool
diff --git a/tests/ghci/scripts/T7586.stdout b/tests/ghci/scripts/T7586.stdout
new file mode 100644
index 000000000..b0c4aa83b
--- /dev/null
+++ b/tests/ghci/scripts/T7586.stdout
@@ -0,0 +1,3 @@
+T :: * -> * -> *
+T Int :: * -> *
+T Int Bool :: *
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index 12e185049..5ef4be15b 100755
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -145,4 +145,5 @@ test('T7587', normal, ghci_script, ['T7587.script'])
 test('T7688', normal, ghci_script, ['T7688.script'])
 test('T7627', normal, ghci_script, ['T7627.script'])
 test('T7627b', normal, ghci_script, ['T7627b.script'])
+test('T7586', normal, ghci_script, ['T7586.script'])