3 ================================================================================
9 {PrelBase.Ord{-2d,p-} t{-aY1-}}
10 -> {PrelBase.Num{-2c,p-} t{-aY1-}}
15 _/\_ t{-aY1-} t{-aYi-} -> \ d.Ord_aYk ::
16 {PrelBase.Ord{-2d,p-} t{-aY1-}}
18 d.Ord_aYk d.Num_aYn ::
19 {PrelBase.Num{-2c,p-} t{-aY1-}}
24 t{-aY1-} -> t{-aY1-} -> PrelBase.Bool{-34,p-}
28 _@_ t{-aY1-} d.Ord_aYk } in
31 PrelBase.Int{-3g,p-} -> t{-aY1-}
34 PrelBase.fromInt{-8R,p-}
35 _@_ t{-aY1-} d.Num_aYn } in
45 PrelBase.I#{-5b,p-}{i}
53 PrelBase.Int{-3g,p-} -> t{-aY1-}
66 PrelBase.I#{-5b,p-}{i}
74 {PrelBase.Ord{-2d,p-} t{-aY1-}}
80 t{-aY1-} -> t{-aY1-} -> PrelBase.Bool{-34,p-}
84 _@_ t{-aY1-} d.Ord_aYq } in
87 PrelBase.Int{-3g,p-} -> t{-aY1-}
100 PrelBase.I#{-5b,p-}{i}
108 PrelBase.Int{-3g,p-} -> t{-aY1-}
121 PrelBase.I#{-5b,p-}{i}
150 PrelBase.True{-5E,p-}{i} ->
151 PrelTup.(,){-62,p-}{i}
152 {_@_ t{-aY1-} _@_ t{-aY1-} lit_a135 lit_a133};
153 PrelBase.False{-58,p-}{i} ->
158 PrelBase.True{-5E,p-}{i} ->
159 PrelTup.(,){-62,p-}{i}
160 {_@_ t{-aY1-} _@_ t{-aY1-} lit_a14F lit_a130};
161 PrelBase.False{-58,p-}{i} ->
162 PrelTup.(,){-62,p-}{i}
163 {_@_ t{-aY1-} _@_ t{-aY1-} lit_a14H lit_a12W};
170 case ds_d14Q of { PrelTup.(,){-62,p-}{i} y_aXx z_aXy -> y_aXx;};
175 case ds_d14Q of { PrelTup.(,){-62,p-}{i} y_aXx z_aXy -> z_aXy;};