-
-
-================================================================================
-Desugared:
-||||_amR ::
- PrelBase.Bool{-34,p-}
- -> PrelBase.Bool{-34,p-}
- -> PrelBase.Bool{-34,p-}
-{-# L #-}
-||||_amR =
- \ ds_dq6 ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- ds_dq6 ds_dq7 ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- ds_dq7 ->
- case ds_dq6 of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.True{-5E,p-}{i};
- PrelBase.False{-58,p-}{i} ->
- ds_dq7;
- }
-||||{-r3q,x-} ::
- PrelBase.Bool{-34,p-}
- -> PrelBase.Bool{-34,p-}
- -> PrelBase.Bool{-34,p-}
-{-# L #-}
-||||{-r3q,x-} =
- ||||_amR
-Rec {
-mAp{-r3r,x-} ::
- _forall_
- [t{-an5-} t{-an7-}]
- =>
- (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
-{-# L #-}
-mAp{-r3r,x-} =
- _/\_ t{-an5-} t{-an7-} ->
- _letrec_ {
- mAp_amZ ::
- (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
- {-# L #-}
- mAp_amZ =
- \ f_r3e ::
- t{-an5-} -> t{-an7-}
- {-# L #-}
- f_r3e ds_dqV ::
- [t{-an5-}]
- {-# L #-}
- ds_dqV ->
- case ds_dqV of {
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-an7-};
- PrelBase.:{-55,p-}{i} x_r3j xs_r3k ->
- let {
- f_r3h ::
- t{-an5-} -> t{-an7-}
- {-# L #-}
- f_r3h =
- f_r3e } in
- let {
- ds_drl ::
- t{-an7-}
- {-# L #-}
- ds_drl =
- f_r3h
- x_r3j } in
- let {
- ds_drp ::
- [t{-an7-}]
- {-# L #-}
- ds_drp =
- mAp_amZ
- f_r3h xs_r3k
- } in
- PrelBase.:{-55,p-}{i}
- _@_ t{-an7-} ds_drl ds_drp;
- };
- } in
- mAp_amZ
-end Rec }