-
-
-================================================================================
-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-}])
-{-# 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-}
- {-# 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}