3 --================================================================================
11 _/\_ b{-r42-} -> \ tpl_B1 ->
16 _/\_ a{-r44-} -> \ tpl_B1 ->
24 AbsBinds [b{-aIF-}] [] [([b{-aIF-}], $d3{-rIJ,x-}, d.Eval_aH4)]
28 AbsBinds [a{-aIG-}] [] [([a{-aIG-}], $d4{-rIL,x-}, d.Eval_aHa)]
35 [([b{-aHm-}], $d1{-rIM,x-}, d.Eq_aHg)]
44 AbsBinds [] [] [([], ==_aIO, ==_aHj)]
46 X{-r4,x-}{i} X{-r4,x-}{i}
47 = PrelBase.True{-5E,p-}{i}
49 (Y{-r3,x-}{i} a_r3s) (Y{-r3,x-}{i} b_r3u)
53 = PrelBase.False{-58,p-}{i}
54 AbsBinds [] [] [([], /=_aIN, /=_aHH)]
57 = PrelBase.not{-rfZ,p-} a_r3C ==_aIP b_r3E
59 ({-dict-} [] [==_aIO, /=_aIN])
64 [([a{-aI7-}], $d2{-rIR,x-}, d.Eq_aHZ)]
77 AbsBinds [] [] [([], ==_aIT, ==_aI2)]
79 (D{-r9,x-}{i} x_r3L) (D{-r9,x-}{i} y_r3N)
82 C{-r8,x-}{i} C{-r8,x-}{i}
83 = PrelBase.True{-5E,p-}{i}
86 = PrelBase.False{-58,p-}{i}
87 AbsBinds [] [] [([], /=_aIS, /=_aIq)]
90 = PrelBase.not{-rfZ,p-} a_r3X ==_aIU b_r3Z
92 ({-dict-} [] [==_aIT, /=_aIS])
94 ghc: module version changed to 1; reason: no old .hi file
95 _interface_ ShouldSucc 1
99 PrelBase 1 :: $d15 1 $d32 1 $d37 1 $d39 1 $d41 1 $d46 1 $d7 1 not 1 Eq 1 Eval 1;
102 ShouldSucc B(X Y) T(D C);
104 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (B a)} = $d1;
105 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} = $d2;
106 instance _forall_ [a] => {PrelBase.Eval (B a)} = $d3;
107 instance _forall_ [a] => {PrelBase.Eval (T a)} = $d4;
109 1 $d1 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (B a)} ;;
110 1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} ;;
111 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (B a)} ;;
112 1 $d4 _:_ _forall_ [a] => {PrelBase.Eval (T a)} ;;
113 1 data B r42 = X | Y r42 ;
114 1 data T r44 = D (B r44) | C ;