ghc/tests/typecheck/should_compile/tc024.stderr

   1 __export ShouldSucceed k main s;
   2 1 k :: __forall [t t1] => t -> t1 -> t ;
   3 1 main :: __forall [t] => t -> t ;
   4 1 s :: __forall [t t1 t2] => (t -> t2 -> t1) -> (t -> t2) -> t -> t1 ;