1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T11700.hs b/testsuite/tests/typecheck/should_compile/T11700.hs
new file mode 100644
index 0000000000..9cf43af9d9
--- /dev/null
+++ b/testsuite/tests/typecheck/should_compile/T11700.hs
@@ -0,0 +1,18 @@
+{-# LANGUAGE GADTs, TypeFamilies #-} -- Remove this line and the code compiles.
+
+module T11700 where
+
+data Muse
+data Message
+data Folder
+
+class PersistEntity record
+
+data Entity record where
+  Entity :: PersistEntity record => record -> Entity record
+
+fn1 :: (Entity Muse, Entity Message) -> Message
+fn1 cluster = let (Entity foo, Entity msg) = cluster
+              in msg
+-- fn1 (Entity foo, Entity msg) = msg
+