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 $r3K = [$r3K] ;