Typechecked:
{- nonrec -}
H.B.op2 = /\ a.t11 -> \{-classdict-} [d.H.C.t13] [op2.t12] -> op2.t12
sdsel.H.B.H.C = /\ a.t11 -> \{-classdict-} [d.H.C.t13] [op2.t12] -> d.H.C.t13
{- nonrec -}
defm.H.B.op2 =
    /\ a.t14 ->
	\{-dict-} d.H.B.t15 ->
	    (error (a.t14 -> a.t14 -> a.t14))
		"No default method for \"H.B.defm.H.B.op2\"\n"
{- nonrec -}
H.C.op1 = /\ a.t16 -> \{-classdict-} [] [op1.t17] -> op1.t17
{- nonrec -}
defm.H.C.op1 =
    /\ a.t18 ->
	\{-dict-} d.H.C.t19 ->
	    (error (a.t18 -> a.t18))
		"No default method for \"H.C.defm.H.C.op1\"\n"
AbsBinds [a.t0] [d.H.B.t2, d.H.C.t1] [(d.H.B.t3, dfun.H.B.List)]
    {- rec -}
    d.H.B.t3 = ({-dict-} [d.H.C.t1] [op2.t4])
    op2.t4 :: [a.t0] -> [a.t0] -> [a.t0]
    op2.t4
	xs.r13 ys.r14
		= xs.r13
AbsBinds [a.t7] [] [(d.H.C.t8, dfun.H.C.List)]
    {- rec -}
    d.H.C.t8 = ({-dict-} [] [op1.t9])
    op1.t9 :: [a.t7] -> [a.t7]
    op1.t9
	xs.r16 = xs.r16