ghc/tests/typecheck/should_compile/tc047.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 __export ShouldSucceed OL f mp sd;
   3 1 f :: __forall [t t1 t2] => t -> [(t1, t2)] -> [t2] ;
   4 1 mp :: __forall [t t1] => (t1 -> t) -> [t1] -> [t] ;
   5 1 sd :: __forall [t t1] => (t1, t) -> t ;
   6 1 type OL a = [a] ;