3 ================================================================================
6 op2_amz :: PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
10 op1_amD :: PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
14 op1_akv :: PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
17 \ x_r3i :: PrelBase.Int{-3g,W-}
21 op1_amE :: PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
25 op2_akF :: PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
28 \ y_r3m :: PrelBase.Int{-3g,W-}
32 op2_amB :: PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
36 d.Foo_akr :: {Foo{-r3q,x-} PrelBase.Int{-3g,W-}}
39 PrelTup.(,){-62,w-}{i}
40 {_@_ (PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-})
41 _@_ (PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-})
44 $d1{-rmC,x-} :: {Foo{-r3q,x-} PrelBase.Int{-3g,W-}}
48 op1{-r3r,x-} :: _forall_
51 {Foo{-r3q,x-} a_tr3p} -> a_tr3p -> a_tr3p
54 _/\_ t12 -> \ tpl_B1 :: {Foo{-r3q,x-} t12}
57 case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
58 op2{-r3s,x-} :: _forall_
61 {Foo{-r3q,x-} a_tr3p} -> a_tr3p -> a_tr3p
64 _/\_ t12 -> \ tpl_B1 :: {Foo{-r3q,x-} t12}
67 case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
71 {Foo{-r3q,x-} takP} -> PrelBase.(){-40,W-}
74 _/\_ takP -> \ d.Foo_akO :: {Foo{-r3q,x-} takP}
77 PrelBase.(){-60,w-}{i} {}