1 files changed, 30 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/RepPolyMcBody.hs b/testsuite/tests/rep-poly/RepPolyMcBody.hs
new file mode 100644
index 0000000000..7ee8a7fa7c
--- /dev/null
+++ b/testsuite/tests/rep-poly/RepPolyMcBody.hs
@@ -0,0 +1,30 @@
+{-# LANGUAGE MagicHash #-}
+{-# LANGUAGE MonadComprehensions #-}
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE RebindableSyntax #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+
+module RepPolyMcBody where
+
+import Data.Kind ( Type )
+import GHC.Exts
+import Prelude ( Bool(..), undefined )
+
+(>>)
+  :: forall
+        rep
+        ( ma :: TYPE rep )
+        ( a  :: Type )
+        ( mb :: TYPE rep )
+        ( mc :: TYPE rep )
+  .  ma -> ( a -> mb ) -> mc
+(>>) = undefined
+
+guard :: forall rep (b :: TYPE rep). Bool -> b
+guard = undefined
+
+return :: forall rep (ma :: TYPE rep). () -> ma
+return = undefined
+
+foo :: forall rep (ma :: TYPE rep). () -> ma
+foo _ = [ () | True ]