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] => (t -> t1) -> [t] -> [t1] ;
   5 1 sd :: __forall [t t1] => (t, t1) -> t1 ;
   6 1 type OL a = [a] ;