ghc/tests/typecheck/should_compile/tc047.stderr

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