ghc/tests/typecheck/should_compile/tc047.stderr

   1 __export ShouldSucceed OL f mp sd;
   2 1 f :: __forall [t t1 t2] => t -> [(t1, t2)] -> [t2] ;
   3 1 mp :: __forall [t t1] => (t -> t1) -> [t] -> [t1] ;
   4 1 sd :: __forall [t t1] => (t, t1) -> t1 ;
   5 1 type OL a = [a] ;