3 H.B.op2 = /\ a.t11 -> \{-classdict-} [d.H.C.t13] [op2.t12] -> op2.t12
4 sdsel.H.B.H.C = /\ a.t11 -> \{-classdict-} [d.H.C.t13] [op2.t12] -> d.H.C.t13
9 (error (a.t14 -> a.t14 -> a.t14))
10 "No default method for \"H.B.defm.H.B.op2\"\n"
12 H.C.op1 = /\ a.t16 -> \{-classdict-} [] [op1.t17] -> op1.t17
16 \{-dict-} d.H.C.t19 ->
17 (error (a.t18 -> a.t18))
18 "No default method for \"H.C.defm.H.C.op1\"\n"
19 AbsBinds [a.t0] [d.H.B.t2, d.H.C.t1] [(d.H.B.t3, dfun.H.B.List)]
21 d.H.B.t3 = ({-dict-} [d.H.C.t1] [op2.t4])
22 op2.t4 :: [a.t0] -> [a.t0] -> [a.t0]
26 AbsBinds [a.t7] [] [(d.H.C.t8, dfun.H.C.List)]
28 d.H.C.t8 = ({-dict-} [] [op1.t9])
29 op1.t9 :: [a.t7] -> [a.t7]