David,
the comment in the test says what crashed ghc-4.04proto: the parens after the
for-all fooled it.
So I suppose that forall b. StateMonad (a,b) m = m a worked fine but forall
b. (StateMonad
(a,b) m = m a) crashed GHC. This test is in a should_fail folder, which means
that the
When I compile this with 7.8.3, it gives an error message saying that type
variables a and m are not in scope. If I add them to the forall, it tells
me I need FlexibleContexts. If I add that, then it gives me an error about
an ambiguous type variable. Clearly, something crashed ghc-4.04proto, but
