3 ShouldSucceed.Eq'.deq = /\ a.t38 -> \{-classdict-} [] [deq.t39] -> deq.t39
5 defm.ShouldSucceed.Eq'.deq =
7 \{-dict-} d.ShouldSucceed.Eq'.t41 ->
8 (error (a.t40 -> a.t40 -> Bool))
9 "No default method for \"ShouldSucceed.Eq'.defm.ShouldSucceed.Eq'.deq\"\n"
11 dfun.ShouldSucceed.Eq'.Int = ({-dict-} [] [const.ShouldSucceed.Eq'.Int.deq])
12 const.ShouldSucceed.Eq'.Int.deq :: Int -> Int -> Bool
13 const.ShouldSucceed.Eq'.Int.deq
18 [d.ShouldSucceed.Eq'.t23]
19 [(d.ShouldSucceed.Eq'.t24, dfun.ShouldSucceed.Eq'.List)]
20 (d.ShouldSucceed.Eq'.t36, d.ShouldSucceed.Eq'.t24)
21 (ShouldSucceed.f.t35, ShouldSucceed.f [a.t22] d.ShouldSucceed.Eq'.t36)
22 (d.ShouldSucceed.Eq'.t37, d.ShouldSucceed.Eq'.t23)
23 (ShouldSucceed.f.t33, ShouldSucceed.f a.t22 d.ShouldSucceed.Eq'.t37)
25 d.ShouldSucceed.Eq'.t24 = ({-dict-} [] [deq.t25])
26 deq.t25 :: [a.t22] -> [a.t22] -> Bool
28 (a.r33 : as.r34) (b.r35 : bs.r36)
30 (ShouldSucceed.f.t33 a.r33 b.r35)
31 (ShouldSucceed.f.t35 as.r34 bs.r36)
34 d.ShouldSucceed.Eq'.t43 = dfun.ShouldSucceed.Eq'.Int
35 d.ShouldSucceed.Eq'.t42 =
36 dfun.ShouldSucceed.Eq'.List Int d.ShouldSucceed.Eq'.t43
37 ShouldSucceed.Eq'.deq.t13 = ShouldSucceed.Eq'.deq [Int] d.ShouldSucceed.Eq'.t42
38 AbsBinds [] [] [(dand.t1, ShouldSucceed.dand)]
40 dand.t1 :: Bool -> Bool -> Bool
47 AbsBinds [a.t10] [d.ShouldSucceed.Eq'.t7] [(f.t5, ShouldSucceed.f)]
48 (d.ShouldSucceed.Eq'.t19, d.ShouldSucceed.Eq'.t7)
49 (ShouldSucceed.Eq'.deq.t11,
50 ShouldSucceed.Eq'.deq a.t10 d.ShouldSucceed.Eq'.t19)
52 f.t5 :: a.t10 -> a.t10 -> Bool
55 (ShouldSucceed.Eq'.deq.t11 p.r67 q.r68)
56 (ShouldSucceed.Eq'.deq.t13
57 ([lit.t15] (Int)) ([lit.t17] (Int)))