==================== Typechecked ====================
AbsBinds
[taBp]
[d.Ord_aBy]
[([taBp], a{-r3h,x-}, a_aBn), ([taBp], b{-r3i,x-}, b_aBo)]
    d.Ord_aBA = d.Ord_aBy
    b_aBE = b{-r3i,x-} taBp d.Ord_aBA
    d.Ord_aBC = d.Ord_aBy
    a_aBD = a{-r3h,x-} taBp d.Ord_aBC
    a_aBn = b_aBE
    b_aBo = a_aBD

ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_usages_
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;
PrelNum 1 :: $d17 1 $d18 1;
_exports_
ShouldSucceed a b;
_declarations_
1 a _:_ _forall_ [ta] {PrelBase.Ord ta} => ta ;;
1 b _:_ _forall_ [ta] {PrelBase.Ord ta} => ta ;;