ghc/tests/typecheck/should_compile/tc048.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed mAp ranAFE ranOAL sNd AFE{MkAFE} FG{MkFG} OL{MkOL};
   4 _declarations_
   5 1 data AFE $r3X $r3Y $r3Z = MkAFE (OL ($r3X, FG $r3Y $r3Z)) ;
   6 1 data FG $r42 $r43 = MkFG (OL ($r42, $r43)) ;
   7 1 data OL $r46 = MkOL [$r46] ;
   8 1 mAp _:_ _forall_ [$a $b] => ($a -> $b) -> [$a] -> [$b] ;;
   9 1 ranAFE _:_ _forall_ [$a $b $c] => AFE $a $b $c -> [FG $b $c] ;;
  10 1 ranOAL _:_ _forall_ [$a $b] => OL ($a, $b) -> [$b] ;;
  11 1 sNd _:_ _forall_ [$a $b] => ($a, $b) -> $b ;;