1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/Simple6.hs b/testsuite/tests/indexed-types/should_compile/Simple6.hs
new file mode 100644
index 0000000000..ead121ab2d
--- /dev/null
+++ b/testsuite/tests/indexed-types/should_compile/Simple6.hs
@@ -0,0 +1,17 @@
+{-# LANGUAGE TypeFamilies #-}
+
+module ShouldCompile where
+
+import Data.IORef
+
+data family T a
+data instance T a = T
+
+foo :: T Int -> T Char
+foo T = T
+
+type family S a
+type instance S a = a
+
+type family SMRef (m:: * -> *) :: * -> *
+type instance SMRef IO = IORef 
+\ No newline at end of file