ghc/tests/typecheck/should_compile/tc047.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed f mp sd OL;
   4 _declarations_
   5 1 f _:_ _forall_ [a b c] => a -> [(b, c)] -> [c] ;;
   6 1 mp _:_ _forall_ [a b] => (a -> b) -> [a] -> [b] ;;
   7 1 sd _:_ _forall_ [a b] => (a, b) -> b ;;
   8 1 type OL a = [a] ;