+++ /dev/null
-{-# OPTIONS -fglasgow-exts #-}
-
-module ShouldFail where
-
--- !!! For-all with parens
-
--- This one crashed ghc-4.04proto; the parens after the for-all fooled it
-
-class Monad m => StateMonad s m where
- getState :: m s
-
-setState0 :: forall b. (StateMonad (a,b) m => m a)
-setState0 = getState >>= \ (l,_r) -> return l
-
-