================================================================================
Desugared:
-f{-r3p,x-} ::
- _forall_
- [t{-aBq-} t{-aBs-} t{-aBd-}]
- =>
- t{-aBd-}
- -> ((t{-aBq-}, t{-aBq-}) -> t{-aBs-})
- -> t{-aBq-}
- -> (t{-aBs-}, [t{-aBd-}])
+Rec {
+f{-r3n,x-} :: _forall_
+ [tayF tayW taz2]
+ =>
+ tayW -> ((tayF, tayF) -> taz2) -> tayF -> (taz2, [tayW])
{-# L #-}
-f{-r3p,x-} =
- _/\_ t{-aBq-} t{-aBs-} t{-aBd-} -> \ x_r3d ::
- t{-aBd-}
- {-# L #-}
- x_r3d y_r3f ::
- (t{-aBq-}, t{-aBq-}) -> t{-aBs-}
- {-# L #-}
- y_r3f z_r3h ::
- t{-aBq-}
- {-# L #-}
- z_r3h ->
- let { c_aAS ::
- t{-aBs-}
- {-# L #-}
- c_aAS =
- let {
- ds_dEz ::
- (t{-aBq-}, t{-aBq-})
- {-# L #-}
- ds_dEz =
- PrelTup.(,){-62,p-}{i}
- {_@_ t{-aBq-} _@_ t{-aBq-} z_r3h z_r3h}
- } in
- y_r3f
- ds_dEz
- } in
- let {
- c_r3l ::
- t{-aBs-}
+f{-r3n,x-} =
+ _/\_ tayF tayW taz2 ->
+ _letrec_ {
+ f_aya :: tayW -> ((tayF, tayF) -> taz2) -> tayF -> (taz2, [tayW])
{-# L #-}
- c_r3l =
- c_aAS } in
- let { a_aB8 ::
- [t{-aBd-}]
- {-# L #-}
- a_aB8 =
- let {
- ds_dF5 ::
- [t{-aBd-}]
- {-# L #-}
- ds_dF5 =
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-aBd-}
- } in
- PrelBase.:{-55,p-}{i}
- _@_ t{-aBd-} x_r3d ds_dF5
- } in
- let {
- a_r3j ::
- [t{-aBd-}]
- {-# L #-}
- a_r3j =
- a_aB8 } in
- let {
- b_aBg ::
- [t{-aBd-}]
- {-# L #-}
- b_aBg =
- PrelBase.:{-55,p-}{i}
- _@_ t{-aBd-} x_r3d a_r3j } in
- let {
- b_r3k ::
- [t{-aBd-}]
- {-# L #-}
- b_r3k =
- b_aBg
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ t{-aBs-} _@_ [t{-aBd-}] c_r3l b_r3k}
+ f_aya =
+ \ x_r3d :: tayW
+ {-# L #-}
+ x_r3d y_r3e :: (tayF, tayF) -> taz2
+ {-# L #-}
+ y_r3e z_r3f :: tayF
+ {-# L #-}
+ z_r3f ->
+ let { c_ays :: taz2
+ {-# L #-}
+ c_ays =
+ let {
+ ds_dCV :: (tayF, tayF)
+ {-# L #-}
+ ds_dCV =
+ PrelTup.(,){-62,w-}{i} {_@_ tayF _@_ tayF z_r3f z_r3f}
+ } in y_r3e ds_dCV
+ } in
+ let {
+ c_r3j :: taz2
+ {-# L #-}
+ c_r3j =
+ c_ays } in
+ let { a_ayK :: [tayW]
+ {-# L #-}
+ a_ayK =
+ let {
+ ds_dDr :: [tayW]
+ {-# L #-}
+ ds_dDr =
+ PrelBase.[]{-5i,w-}{i} _@_ tayW
+ } in PrelBase.:{-55,w-}{i} _@_ tayW x_r3d ds_dDr
+ } in
+ let {
+ a_r3h :: [tayW]
+ {-# L #-}
+ a_r3h =
+ a_ayK } in
+ let {
+ b_ayS :: [tayW]
+ {-# L #-}
+ b_ayS =
+ PrelBase.:{-55,w-}{i} _@_ tayW x_r3d a_r3h } in
+ let {
+ b_r3i :: [tayW]
+ {-# L #-}
+ b_r3i =
+ b_ayS
+ } in PrelTup.(,){-62,w-}{i} {_@_ taz2 _@_ [tayW] c_r3j b_r3i};
+ } in f_aya
+end Rec }