Test for foralls to the right of =>

testsuite/tests/ghc-regress/typecheck/should_compile/all.T

@@ -212,6 +212,7 @@ test('tc199', expect_fail_if_compiler_type('ghc'), compile, [''])
 test('tc200', normal, compile, [''])
 test('tc201', normal, compile, [''])
 test('tc202', normal, compile, [''])
+test('tc203', normal, compile, [''])
 
 # Omitting temporarily
 # test('syn-perf', normal, compile, ['-fcontext-stack=30'])

testsuite/tests/ghc-regress/typecheck/should_compile/tc203.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+-- Check that we can have a forall after a forall
+
+module Foo4 where
+
+type AnyE a = forall err. Either err a
+
+foo :: Monad m => AnyE (m t)
+foo = undefined