+
+================================================================================
+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 }