3 defm.Test.Foo.op1 :: for all a. <Test.Foo a> -> a -> a
4 defm.Test.Foo.op1 = /\ a -> (error (a -> a)) "No default method for \"op1\"\n"S
5 defm.Test.Foo.op2 :: for all a. <Test.Foo a> -> a -> a
6 defm.Test.Foo.op2 = /\ a -> (error (a -> a)) "No default method for \"op2\"\n"S
7 Test.Foo.op1 :: for all a. <Test.Foo a> -> a -> a
11 MkTuple2 op1.77 op2.78 -> op1.77
13 Test.Foo.op2 :: for all a. <Test.Foo a> -> a -> a
17 MkTuple2 op1.80 op2.81 -> op2.81
19 dfun.Test.Foo.Int :: <Test.Foo Int>
21 let dict.89 = dfun.Test.Foo.Int in
22 let op1.85 = \ x.97 -> (Test.Foo.op2 Int) dict.89 x.97 in
23 let dict.93 = dfun.Test.Foo.Int in
24 let op2.86 = \ y.98 -> (Test.Foo.op1 Int) dict.93 y.98
25 in MkTuple2! (Int -> Int) (Int -> Int) op1.85 op2.86