3 ShouldSucceed.Eq2.deq = /\ a.t18 -> \{-classdict-} [] [deq.t19] -> deq.t19
5 defm.ShouldSucceed.Eq2.deq =
7 \{-dict-} d.ShouldSucceed.Eq2.t21 ->
8 (error (a.t20 -> a.t20 -> Bool))
9 "No default method for \"ShouldSucceed.Eq2.defm.ShouldSucceed.Eq2.deq\"\n"
11 dfun.ShouldSucceed.Eq2.Int = ({-dict-} [] [const.ShouldSucceed.Eq2.Int.deq])
12 const.ShouldSucceed.Eq2.Int.deq :: Int -> Int -> Bool
13 const.ShouldSucceed.Eq2.Int.deq
18 [d.ShouldSucceed.Eq2.t3]
19 [(d.ShouldSucceed.Eq2.t4, dfun.ShouldSucceed.Eq2.List)]
20 (d.ShouldSucceed.Eq2.t16, d.ShouldSucceed.Eq2.t4)
21 (ShouldSucceed.Eq2.deq.t15,
22 ShouldSucceed.Eq2.deq [a.t2] d.ShouldSucceed.Eq2.t16)
23 (d.ShouldSucceed.Eq2.t17, d.ShouldSucceed.Eq2.t3)
24 (ShouldSucceed.Eq2.deq.t13,
25 ShouldSucceed.Eq2.deq a.t2 d.ShouldSucceed.Eq2.t17)
27 d.ShouldSucceed.Eq2.t4 = ({-dict-} [] [deq.t5])
28 deq.t5 :: [a.t2] -> [a.t2] -> Bool
30 (a.r31 : as.r32) (b.r33 : bs.r34)
31 = if ShouldSucceed.Eq2.deq.t13 a.r31 b.r33 then
32 ShouldSucceed.Eq2.deq.t15 as.r32 bs.r34