ghc/tests/typecheck/should_compile/tc047.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _interface_ ShouldSucceed 1
   3 _instance_modules_
   4 Addr ArrBase Foreign IO PrelBounded PrelNum
   5 _exports_
   6 ShouldSucceed f mp sd OL;
   7 _declarations_
   8 1 type OL a = [a] ;
   9 1 f _:_ _forall_ [ta tb tc] => ta -> [(tb, tc)] -> [tc] ;;
  10 1 mp _:_ _forall_ [ta tb] => (ta -> tb) -> [ta] -> [tb] ;;
  11 1 sd _:_ _forall_ [ta tb] => (ta, tb) -> tb ;;