ghc/tests/typecheck/should_compile/tc024.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] => $b -> $a -> $b ;;
   6 1 main _:_ _forall_ [$a] => $a -> $a ;;
   7 1 s _:_ _forall_ [$a $b $c] => ($c -> $b -> $a) -> ($c -> $b) -> $c -> $a ;;