1 ==================== Typechecked ====================
5 [([taBp], a{-r3h,x-}, a_aBn), ([taBp], b{-r3i,x-}, b_aBo)]
7 b_aBE = b{-r3i,x-} taBp d.Ord_aBA
9 a_aBD = a{-r3h,x-} taBp d.Ord_aBC
13 ghc: module version changed to 1; reason: no old .hi file
14 _interface_ ShouldSucceed 1
18 PrelBase 1 :: $d15 1 $d16 1 $d33 1 $d35 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 Eq 1 Ord 1 Ordering 1;
19 PrelNum 1 :: $d17 1 $d18 1;
23 1 a _:_ _forall_ [ta] {PrelBase.Ord ta} => ta ;;
24 1 b _:_ _forall_ [ta] {PrelBase.Ord ta} => ta ;;