3 ShouldSucceed.Reps.f = /\ r.t13 -> \{-classdict-} [] [f.t14] -> f.t14
5 defm.ShouldSucceed.Reps.f =
7 \{-dict-} d.ShouldSucceed.Reps.t16 ->
8 (error (r.t15 -> r.t15 -> r.t15))
9 "No default method for \"ShouldSucceed.Reps.defm.ShouldSucceed.Reps.f\"\n"
11 dfun.ShouldSucceed.Reps.Bool = ({-dict-} [] [const.ShouldSucceed.Reps.Bool.f])
12 const.ShouldSucceed.Reps.Bool.f :: Bool -> Bool -> Bool
13 const.ShouldSucceed.Reps.Bool.f
16 const.ShouldSucceed.Reps.Bool.f
22 [(d.ShouldSucceed.Reps.t9, dfun.ShouldSucceed.Reps.ShouldSucceed.X)]
24 d.ShouldSucceed.Reps.t9 = ({-dict-} [] [f.t10])
26 ShouldSucceed.X q.t8 -> ShouldSucceed.X q.t8 -> ShouldSucceed.X q.t8
30 AbsBinds [r.t3] [d.ShouldSucceed.Reps.t5] [(g.t1, ShouldSucceed.g)]
31 (ShouldSucceed.Reps.f.t4, ShouldSucceed.Reps.f r.t3 d.ShouldSucceed.Reps.t5)
34 g.t1 x.r64 = ShouldSucceed.Reps.f.t4 x.r64 x.r64