Uncomment the instance signatures, to activate the test

diff --git a/testsuite/tests/polykinds/T7908.hs b/testsuite/tests/polykinds/T7908.hs
index 1bb4cc5..5895bbe 100644 (file)
--- a/testsuite/tests/polykinds/T7908.hs
+++ b/testsuite/tests/polykinds/T7908.hs
@@ -18,11 +18,11 @@ data Hidden :: (k -> *) -> * where
   Hide :: m a -> Hidden m
 
 instance Monad' Hidden where
-  --return' :: forall (c :: k -> *) (a :: k) . c a -> Hidden c
+  return' :: forall (c :: k -> *) (a :: k) . c a -> Hidden c
   return' = Hide
-  --(>>>=) :: forall (c :: k -> *) (d :: k -> *) . Hidden c -> (forall (a :: k) . c a -> Hidden d) -> Hidden d
+  (>>>=) :: forall (c :: k -> *) (d :: k -> *) . Hidden c -> (forall (a :: k) . c a -> Hidden d) -> Hidden d
   Hide a >>>= f = f a
-  --(>>-) :: forall (c :: k -> *) d . Hidden c -> (forall (a :: k) . c a -> d) -> d
+  (>>-) :: forall (c :: k -> *) d . Hidden c -> (forall (a :: k) . c a -> d) -> d
   Hide a >>- f = f a