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


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE Rank2Types #-}

-- 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