ghc/tests/typecheck/should_compile/tc082.stderr

   1
   2 NOTE: Simplifier still going after 4 iterations; bailing out.
   3 ghc: module version changed to 1; reason: no old .hi file
   4 _exports_
   5 ShouldSucceed f Normal(:Normal :Normal normal);
   6 _instances_
   7 instance _forall_ [a b] => {Normal (a -> b)} = $dNormal0;
   8 _declarations_
   9 1 $dNormal0 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
  10 1 class Normal a where {normal :: a -> PrelBase.Bool} ;
  11 1 f _:_ _forall_ [a] => a -> PrelBase.Bool ;;