-Desugared:
-Tests.f :: for all d, e. <Num e> -> d -> e
-Tests.f =
- /\ o81 t82 -> \ dict.101 ->
- let dict.99 = dict.101 in
- let dict.97 = dict.99 in
- let dict.94 = dict.97 in
- let dict.91 = dict.94 in
- let dict.89 = dict.91 in
- let dict.87 = dict.89 in
- let dict.85 = dict.87 in
- let dict.83 = dict.85 in
- let
- f.80 =
- \ x.63 ->
- (+ t82)
- dict.83
- ((- t82)
- dict.85
- ((+ t82)
- dict.87
- ((fromInteger t82) dict.89 (MkInteger! 1##))
- ((fromInteger t82) dict.91 (MkInteger! 2##)))
- ((fromInteger t82) dict.94 (MkInteger! 3##)))
- ((* t82)
- dict.97
- ((fromInteger t82) dict.99 (MkInteger! 4##))
- ((fromInteger t82) dict.101 (MkInteger! 5##)))
- in f.80
-Tests.g :: for all d. <Num d> -> d -> d
-Tests.g =
- /\ t110 -> \ dict.111 ->
- let dict.108 = dict.111 in
- let
- g.105 =
- \ x.64 ->
- (+ t110) dict.108 x.64 (((Tests.f t110) t110) dict.111 x.64)
- in g.105
-Tests.h :: for all d, e. <Num e> -> d -> e
-Tests.h =
- /\ o115 t120 -> \ dict.121 ->
- let dict.119 = dict.121 in
- let dict.117 = dict.119 in
- let
- h.114 =
- \ x.65 ->
- (+ t120)
- dict.117
- ((fromInteger t120)
- dict.119
- (MkInteger!
- 111111111111111111111111111111111111111111111111111111111111##))
- ((fromInteger t120)
- dict.121
- (MkInteger!
- 222222222222222222222222222222222222222222222222222222222222##))
- in h.114
+
+================================================================================
+Desugared:
+h{-r3l,x-} ::
+ _forall_
+ [t{-aHu-} t{-aHz-}]
+ =>
+ {PrelBase.Num{-2c,p-} t{-aHu-}} -> t{-aHz-} -> t{-aHu-}
+{-# L #-}
+h{-r3l,x-} =
+ _/\_ t{-aHu-} t{-aHz-} -> \ d.Num_aHB ::
+ {PrelBase.Num{-2c,p-} t{-aHu-}}
+ {-# L #-}
+ d.Num_aHB ->
+ let {
+ +_aP0 ::
+ t{-aHu-} -> t{-aHu-} -> t{-aHu-}
+ {-# L #-}
+ +_aP0 =
+ PrelBase.+{-r3k,p-}
+ _@_ t{-aHu-} d.Num_aHB } in
+ let {
+ d.Num_aHE ::
+ {PrelBase.Num{-2c,p-} t{-aHu-}}
+ {-# L #-}
+ d.Num_aHE =
+ d.Num_aHB } in
+ let {
+ fromInteger_aOZ ::
+ PrelBase.Integer{-3h,p-} -> t{-aHu-}
+ {-# L #-}
+ fromInteger_aOZ =
+ PrelBase.fromInteger{-8S,p-}
+ _@_ t{-aHu-} d.Num_aHE } in
+ let {
+ lit_aOY ::
+ t{-aHu-}
+ {-# L #-}
+ lit_aOY =
+ fromInteger_aOZ
+ _integer_ 111111111111111111111111111111111111111111111111111111111111 } in
+ let {
+ fromInteger_aOX ::
+ PrelBase.Integer{-3h,p-} -> t{-aHu-}
+ {-# L #-}
+ fromInteger_aOX =
+ fromInteger_aOZ } in
+ let {
+ lit_aOW ::
+ t{-aHu-}
+ {-# L #-}
+ lit_aOW =
+ fromInteger_aOX
+ _integer_ 222222222222222222222222222222222222222222222222222222222222
+ } in
+ \ x_r3j ::
+ t{-aHz-}
+ {-# L #-}
+ x_r3j ->
+ +_aP0
+ lit_aOY lit_aOW
+f{-r3n,x-} ::
+ _forall_
+ [t{-aI9-} t{-aIe-}]
+ =>
+ {PrelBase.Num{-2c,p-} t{-aI9-}} -> t{-aIe-} -> t{-aI9-}
+{-# L #-}
+f{-r3n,x-} =
+ _/\_ t{-aI9-} t{-aIe-} -> \ d.Num_aIg ::
+ {PrelBase.Num{-2c,p-} t{-aI9-}}
+ {-# L #-}
+ d.Num_aIg ->
+ let {
+ +_aNl ::
+ t{-aI9-} -> t{-aI9-} -> t{-aI9-}
+ {-# L #-}
+ +_aNl =
+ PrelBase.+{-r3k,p-}
+ _@_ t{-aI9-} d.Num_aIg } in
+ let {
+ d.Num_aIi ::
+ {PrelBase.Num{-2c,p-} t{-aI9-}}
+ {-# L #-}
+ d.Num_aIi =
+ d.Num_aIg } in
+ let {
+ -_aNk ::
+ t{-aI9-} -> t{-aI9-} -> t{-aI9-}
+ {-# L #-}
+ -_aNk =
+ PrelBase.-{-817,p-}
+ _@_ t{-aI9-} d.Num_aIi } in
+ let {
+ +_aN8 ::
+ t{-aI9-} -> t{-aI9-} -> t{-aI9-}
+ {-# L #-}
+ +_aN8 =
+ +_aNl } in
+ let {
+ d.Num_aIl ::
+ {PrelBase.Num{-2c,p-} t{-aI9-}}
+ {-# L #-}
+ d.Num_aIl =
+ d.Num_aIg } in
+ let {
+ fromInt_aNj ::
+ PrelBase.Int{-3g,p-} -> t{-aI9-}
+ {-# L #-}
+ fromInt_aNj =
+ PrelBase.fromInt{-8R,p-}
+ _@_ t{-aI9-} d.Num_aIl } in
+ let { lit_aNi ::
+ t{-aI9-}
+ {-# L #-}
+ lit_aNi =
+ let {
+ ds_dQX ::
+ PrelBase.Int{-3g,p-}
+ {-# L #-}
+ ds_dQX =
+ PrelBase.I#{-5b,p-}{i}
+ 1
+ } in
+ fromInt_aNj
+ ds_dQX
+ } in
+ let {
+ fromInt_aNh ::
+ PrelBase.Int{-3g,p-} -> t{-aI9-}
+ {-# L #-}
+ fromInt_aNh =
+ fromInt_aNj } in
+ let { lit_aNg ::
+ t{-aI9-}
+ {-# L #-}
+ lit_aNg =
+ let {
+ ds_dRc ::
+ PrelBase.Int{-3g,p-}
+ {-# L #-}
+ ds_dRc =
+ PrelBase.I#{-5b,p-}{i}
+ 2
+ } in
+ fromInt_aNh
+ ds_dRc
+ } in
+ let {
+ fromInt_aNf ::
+ PrelBase.Int{-3g,p-} -> t{-aI9-}
+ {-# L #-}
+ fromInt_aNf =
+ fromInt_aNj } in
+ let { lit_aNe ::
+ t{-aI9-}
+ {-# L #-}
+ lit_aNe =
+ let {
+ ds_dRr ::
+ PrelBase.Int{-3g,p-}
+ {-# L #-}
+ ds_dRr =
+ PrelBase.I#{-5b,p-}{i}
+ 3
+ } in
+ fromInt_aNf
+ ds_dRr
+ } in
+ let {
+ d.Num_aIp ::
+ {PrelBase.Num{-2c,p-} t{-aI9-}}
+ {-# L #-}
+ d.Num_aIp =
+ d.Num_aIg } in
+ let {
+ *_aNd ::
+ t{-aI9-} -> t{-aI9-} -> t{-aI9-}
+ {-# L #-}
+ *_aNd =
+ PrelBase.*{-rcJ,p-}
+ _@_ t{-aI9-} d.Num_aIp } in
+ let {
+ fromInt_aNc ::
+ PrelBase.Int{-3g,p-} -> t{-aI9-}
+ {-# L #-}
+ fromInt_aNc =
+ fromInt_aNj } in
+ let { lit_aNb ::
+ t{-aI9-}
+ {-# L #-}
+ lit_aNb =
+ let {
+ ds_dRP ::
+ PrelBase.Int{-3g,p-}
+ {-# L #-}
+ ds_dRP =
+ PrelBase.I#{-5b,p-}{i}
+ 4
+ } in
+ fromInt_aNc
+ ds_dRP
+ } in
+ let {
+ fromInt_aNa ::
+ PrelBase.Int{-3g,p-} -> t{-aI9-}
+ {-# L #-}
+ fromInt_aNa =
+ fromInt_aNj } in
+ let { lit_aN9 ::
+ t{-aI9-}
+ {-# L #-}
+ lit_aN9 =
+ let {
+ ds_dS4 ::
+ PrelBase.Int{-3g,p-}
+ {-# L #-}
+ ds_dS4 =
+ PrelBase.I#{-5b,p-}{i}
+ 5
+ } in
+ fromInt_aNa
+ ds_dS4
+ } in
+ \ x_r3f ::
+ t{-aIe-}
+ {-# L #-}
+ x_r3f ->
+ let { ds_dSk ::
+ t{-aI9-}
+ {-# L #-}
+ ds_dSk =
+ let {
+ ds_dSw ::
+ t{-aI9-}
+ {-# L #-}
+ ds_dSw =
+ +_aN8
+ lit_aNi lit_aNg
+ } in
+ -_aNk
+ ds_dSw lit_aNe
+ } in
+ let {
+ ds_dSo ::
+ t{-aI9-}
+ {-# L #-}
+ ds_dSo =
+ *_aNd
+ lit_aNb lit_aN9
+ } in
+ +_aNl
+ ds_dSk ds_dSo
+g{-r3m,x-} ::
+ _forall_
+ [t{-aID-}]
+ =>
+ {PrelBase.Num{-2c,p-} t{-aID-}} -> t{-aID-} -> t{-aID-}
+{-# L #-}
+g{-r3m,x-} =
+ _/\_ t{-aID-} -> \ d.Num_aIH ::
+ {PrelBase.Num{-2c,p-} t{-aID-}}
+ {-# L #-}
+ d.Num_aIH ->
+ let {
+ +_aTf ::
+ t{-aID-} -> t{-aID-} -> t{-aID-}
+ {-# L #-}
+ +_aTf =
+ PrelBase.+{-r3k,p-}
+ _@_ t{-aID-} d.Num_aIH } in
+ let {
+ d.Num_aIJ ::
+ {PrelBase.Num{-2c,p-} t{-aID-}}
+ {-# L #-}
+ d.Num_aIJ =
+ d.Num_aIH } in
+ let {
+ f_aTe ::
+ t{-aID-} -> t{-aID-}
+ {-# L #-}
+ f_aTe =
+ f{-r3n,x-}
+ _@_ t{-aID-} _@_ t{-aID-} d.Num_aIJ
+ } in
+ \ x_r3h ::
+ t{-aID-}
+ {-# L #-}
+ x_r3h ->
+ let {
+ ds_dTJ ::
+ t{-aID-}
+ {-# L #-}
+ ds_dTJ =
+ f_aTe
+ x_r3h
+ } in
+ +_aTf
+ x_r3h ds_dTJ