ghc/tests/typecheck/should_compile/tc082.stderr

   1 __export ShouldSucceed Normal{normal} f;
   2 instance __forall [a b] => {Normal (a -> b)} = zdfNormalZLzmzgZR;
   3 1 class Normal a where {normal :: a -> PrelBase.Bool} ;
   4 1 f :: __forall [t] => t -> PrelBase.Bool ;
   5 1 zddmnormal :: __forall [a] => {Normal a} -> a -> PrelBase.Bool ;
   6 1 zdfNormalZLzmzgZR :: __forall [a b] => {Normal (a -> b)} ;