3 ShouldSucceed.Foo.o_and = /\ a.t39 -> \{-classdict-} [] [o_and.t40] -> o_and.t40
5 defm.ShouldSucceed.Foo.o_and =
7 \{-dict-} d.ShouldSucceed.Foo.t42 ->
8 (error (a.t41 -> a.t41 -> a.t41))
9 "No default method for \"ShouldSucceed.Foo.defm.ShouldSucceed.Foo.o_and\"\n"
11 dfun.ShouldSucceed.Foo.Bool = ({-dict-} [] [const.ShouldSucceed.Foo.Bool.o_and])
12 const.ShouldSucceed.Foo.Bool.o_and :: Bool -> Bool -> Bool
13 const.ShouldSucceed.Foo.Bool.o_and
16 const.ShouldSucceed.Foo.Bool.o_and
19 const.ShouldSucceed.Foo.Bool.o_and
23 dfun.ShouldSucceed.Foo.Int = ({-dict-} [] [const.ShouldSucceed.Foo.Int.o_and])
24 const.ShouldSucceed.Foo.Int.o_and :: Int -> Int -> Int
25 const.ShouldSucceed.Foo.Int.o_and
27 const.ShouldSucceed.Foo.Int.o_and
29 const.ShouldSucceed.Foo.Int.o_and
42 AbsBinds [ot3] [] [(f.t1, ShouldSucceed.f)]
43 (ShouldSucceed.Foo.o_and.t5, const.ShouldSucceed.Foo.Bool.o_and)
45 f.t1 :: Bool -> ot3 -> Bool
47 = ShouldSucceed.Foo.o_and.t5 x.r61 False
50 [d.Num.t15, d.ShouldSucceed.Foo.t16]
51 [(g.t7, ShouldSucceed.g)]
52 (fromInt.t14, fromInt a.t10 d.Num.t15)
53 (lit.t13, fromInt.t14 (MkInt 1#))
54 (ShouldSucceed.Foo.o_and.t11,
55 ShouldSucceed.Foo.o_and a.t10 d.ShouldSucceed.Foo.t16)
57 g.t7 :: a.t10 -> ot9 -> a.t10
59 = ShouldSucceed.Foo.o_and.t11 x.r63 lit.t13