ghc/tests/typecheck/should_compile/tc023.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed k main s;
   4 _declarations_
   5 1 k _:_ _forall_ [a b] => a -> b -> a ;;
   6 1 main _:_ _forall_ [a] => a -> a ;;
   7 1 s _:_ _forall_ [a b c] => (a -> c -> b) -> (a -> c) -> a -> b ;;