Typechecked:
{- nonrec -}
ShouldSucceed.Eq'.doubleeq =
    /\ a.t11 -> \{-classdict-} [] [doubleeq.t12] -> doubleeq.t12
{- nonrec -}
defm.ShouldSucceed.Eq'.doubleeq =
    /\ a.t13 ->
	\{-dict-} d.ShouldSucceed.Eq'.t14 ->
	    (error (a.t13 -> a.t13 -> Bool))
		"No default method for \"ShouldSucceed.Eq'.defm.ShouldSucceed.Eq'.doubleeq\"\n"
{- nonrec -}
ShouldSucceed.Ord'.lt =
    /\ a.t15 -> \{-classdict-} [d.ShouldSucceed.Eq'.t17] [lt.t16] -> lt.t16
sdsel.ShouldSucceed.Ord'.ShouldSucceed.Eq' =
    /\ a.t15 ->
	\{-classdict-} [d.ShouldSucceed.Eq'.t17] [lt.t16] ->
	    d.ShouldSucceed.Eq'.t17
{- nonrec -}
defm.ShouldSucceed.Ord'.lt =
    /\ a.t18 ->
	\{-dict-} d.ShouldSucceed.Ord'.t19 ->
	    (error (a.t18 -> a.t18 -> Bool))
		"No default method for \"ShouldSucceed.Ord'.defm.ShouldSucceed.Ord'.lt\"\n"
{- rec -}
dfun.ShouldSucceed.Eq'.Int =
    ({-dict-} [] [const.ShouldSucceed.Eq'.Int.doubleeq])
const.ShouldSucceed.Eq'.Int.doubleeq :: Int -> Int -> Bool
const.ShouldSucceed.Eq'.Int.doubleeq
    x.r21 y.r22
	    = True
AbsBinds
[a.t2]
[d.ShouldSucceed.Eq'.t3]
[(d.ShouldSucceed.Eq'.t4, dfun.ShouldSucceed.Eq'.List)]
    {- rec -}
    d.ShouldSucceed.Eq'.t4 = ({-dict-} [] [doubleeq.t5])
    doubleeq.t5 :: [a.t2] -> [a.t2] -> Bool
    doubleeq.t5
	x.r24 y.r25
		= True
{- rec -}
dfun.ShouldSucceed.Ord'.Int =
    ({-dict-} [d.ShouldSucceed.Eq'.t8] [const.ShouldSucceed.Ord'.Int.lt])
const.ShouldSucceed.Ord'.Int.lt :: Int -> Int -> Bool
const.ShouldSucceed.Ord'.Int.lt
    x.r53 y.r54
	    = True
d.ShouldSucceed.Eq'.t8 = dfun.ShouldSucceed.Eq'.Int