2 AbsBinds [b.t0] [d.Eq.t1] [(d.Eq.t2, dfun.Eq.ShouldSucc.B)]
4 (==.t12, (==) b.t0 d.Eq.t21)
6 (==.t19, (==) (ShouldSucc.B b.t0) d.Eq.t22)
8 d.Eq.t2 = ({-dict-} [] [==.t3, /=.t4])
9 (==.t3) :: ShouldSucc.B b.t0 -> ShouldSucc.B b.t0 -> Bool
11 ShouldSucc.X ShouldSucc.X
14 (ShouldSucc.Y a.r17) (ShouldSucc.Y b.r18)
19 (/=.t4) :: ShouldSucc.B b.t0 -> ShouldSucc.B b.t0 -> Bool
22 = not (a.r21 ==.t19 b.r22)
23 AbsBinds [a.t23] [d.Eq.t24] [(d.Eq.t25, dfun.Eq.ShouldSucc.T)]
25 (d.Eq.t44, dfun.Eq.ShouldSucc.B a.t23 d.Eq.t45)
26 (==.t33, (==) (ShouldSucc.B a.t23) d.Eq.t44)
28 (==.t42, (==) (ShouldSucc.T a.t23) d.Eq.t46)
30 d.Eq.t25 = ({-dict-} [] [==.t26, /=.t27])
31 (==.t26) :: ShouldSucc.T a.t23 -> ShouldSucc.T a.t23 -> Bool
33 (ShouldSucc.D x.r24) (ShouldSucc.D y.r25)
36 ShouldSucc.C ShouldSucc.C
41 (/=.t27) :: ShouldSucc.T a.t23 -> ShouldSucc.T a.t23 -> Bool
44 = not (a.r28 ==.t42 b.r29)