1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T14179.hs b/testsuite/tests/indexed-types/should_fail/T14179.hs
new file mode 100644
index 0000000000..60c8a94c39
--- /dev/null
+++ b/testsuite/tests/indexed-types/should_fail/T14179.hs
@@ -0,0 +1,20 @@
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE TypeFamilies #-}
+module T14179 where
+
+data family   Foo1 a
+data instance Foo1 a
+data instance Foo1 a
+
+data family   Foo2 :: k -> *
+data instance Foo2 :: * -> *
+data instance Foo2 :: * -> *
+
+data family Foo3 a
+data instance Foo3 [a] where
+  Foo3a :: Foo3 [Int]
+  Foo3b :: Foo3 [Bool]
+data instance Foo3 [a] where
+  Foo3c :: Foo3 [a]
+  Foo3d :: Foo3 [Char]