-
-
-================================================================================
-Desugared:
-g{-r3h,x-} ::
- _forall_
- [t{-aAR-} t{-aAL-} t{-aAN-} t{-aAP-}]
- =>
- t{-aAR-} -> ([t{-aAL-}], [t{-aAN-}], [t{-aAP-}])
-{-# L #-}
-g{-r3h,x-} =
- _/\_ t{-aAR-} t{-aAL-} t{-aAN-} t{-aAP-} -> \ x_r3g ::
- t{-aAR-}
- {-# L #-}
- x_r3g ->
- let {
- ds_dD1 ::
- [t{-aAL-}]
- {-# L #-}
- ds_dD1 =
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-aAL-} } in
- let {
- ds_dD5 ::
- [t{-aAN-}]
- {-# L #-}
- ds_dD5 =
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-aAN-} } in
- let {
- ds_dD9 ::
- [t{-aAP-}]
- {-# L #-}
- ds_dD9 =
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-aAP-}
- } in
- PrelTup.(,,){-63,p-}{i}
- {_@_ [t{-aAL-}] _@_ [t{-aAN-}] _@_ [t{-aAP-}] ds_dD1 ds_dD5 ds_dD9}
-f{-r3i,x-} ::
- _forall_ [t{-aAZ-} t{-aB3-}] => t{-aB3-} -> [[t{-aAZ-}]]
-{-# L #-}
-f{-r3i,x-} =
- _/\_ t{-aAZ-} t{-aB3-} -> \ x_r3e ::
- t{-aB3-}
- {-# L #-}
- x_r3e ->
- let {
- ds_dDN ::
- [t{-aAZ-}]
- {-# L #-}
- ds_dDN =
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-aAZ-} } in
- let { ds_dDR ::
- [[t{-aAZ-}]]
- {-# L #-}
- ds_dDR =
- let {
- ds_dE7 ::
- [t{-aAZ-}]
- {-# L #-}
- ds_dE7 =
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-aAZ-} } in
- let {
- ds_dEb ::
- [[t{-aAZ-}]]
- {-# L #-}
- ds_dEb =
- PrelBase.[]{-5i,p-}{i}
- {_@_ [t{-aAZ-}]}
- } in
- PrelBase.:{-55,p-}{i}
- {_@_ [t{-aAZ-}] ds_dE7 ds_dEb}
- } in
- PrelBase.:{-55,p-}{i}
- {_@_ [t{-aAZ-}] ds_dDN ds_dDR}