1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/RelaxedExamples.hs b/testsuite/tests/indexed-types/should_compile/RelaxedExamples.hs
new file mode 100644
index 0000000000..a58fb3da67
--- /dev/null
+++ b/testsuite/tests/indexed-types/should_compile/RelaxedExamples.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE TypeFamilies #-}
+
+module RelaxedExamples where
+
+type family F1 a
+type family F2 a
+type family F3 a
+type family F4 a
+
+type instance F1 x      = x
+type instance F2 [Bool] = F2 Char
+type instance F3 (a, b) = (F3 a, F3 b)
+type instance F4 x      = (x, x)
+\ No newline at end of file