ghc/tests/typecheck/should_compile/tc084.stderr

   1 __export ShouldSucceed f g h;
   2 1 f :: __forall [b] => PrelBase.Int -> b -> PrelBase.Int ;
   3 1 g :: __forall [a b] => {PrelNum.Num a} -> PrelBase.Bool -> a -> b -> a ;
   4 1 h :: __forall [b] => b -> PrelBase.Int -> PrelBase.Int ;