ghc/tests/typecheck/should_compile/tc023.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _interface_ ShouldSucceed 1
   3 _instance_modules_
   4 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
   5 _exports_
   6 ShouldSucceed k main s;
   7 _declarations_
   8 1 k _:_ _forall_ [a b] => b -> a -> b ;;
   9 1 main _:_ _forall_ [a] => a -> a ;;
  10 1 s _:_ _forall_ [a b c] => (b -> c -> a) -> (b -> c) -> b -> a ;;