ghc/tests/typecheck/should_compile/tc023.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 __export ShouldSucceed k main s;
   3 1 k :: __forall [t _116] => t -> _116 -> t ;
   4 1 main :: __forall [t] => t -> t ;
   5 1 s :: __forall [t _116 _1161] => (_1161 -> _116 -> t) -> (_1161 -> _116) -> _1161 -> t ;