================================================================================
Desugared:
Rec {
||||_akd  ::  PrelBase.Bool{-34,W-}
	      -> PrelBase.Bool{-34,W-}
	      -> PrelBase.Bool{-34,W-}
{-# L #-}
||||_akd =
    \ ds_dnL  ::  PrelBase.Bool{-34,W-}
      {-# L #-}
      ds_dnL ds_dnU  ::  PrelBase.Bool{-34,W-}
	     {-# L #-}
	     ds_dnU ->
	case ds_dnL of {
	  PrelBase.True{-5E,w-}{i} -> PrelBase.True{-5E,w-}{i};
	  PrelBase.False{-58,w-}{i} -> ds_dnU;
	}
||||{-r3m,x-}  ::  PrelBase.Bool{-34,W-}
		   -> PrelBase.Bool{-34,W-}
		   -> PrelBase.Bool{-34,W-}
{-# L #-}
||||{-r3m,x-} =
    ||||_akd
mAp{-r3n,x-}  ::  _forall_
		  [takK takO]
		  =>
		  (takK -> takO) -> [takK] -> [takO]
{-# L #-}
mAp{-r3n,x-} =
    _/\_ takK takO ->
	_letrec_ {
	  mAp_akq  ::  (takK -> takO) -> [takK] -> [takO]
	  {-# L #-}
	  mAp_akq =
	      \ f_r3e  ::  takK -> takO
		{-# L #-}
		f_r3e ds_doq  ::  [takK]
		      {-# L #-}
		      ds_doq ->
		  case ds_doq of {
		    PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ takO;
		    PrelBase.:{-55,w-}{i} x_r3h xs_r3i ->
			let {
			  f_r3g  ::  takK -> takO
			  {-# L #-}
			  f_r3g =
			      f_r3e } in
			let {
			  ds_doQ  ::  takO
			  {-# L #-}
			  ds_doQ =
			      f_r3g x_r3h } in
			let {
			  ds_doU  ::  [takO]
			  {-# L #-}
			  ds_doU =
			      mAp_akq f_r3g xs_r3i
			} in  PrelBase.:{-55,w-}{i} _@_ takO ds_doQ ds_doU;
		  };
	} in  mAp_akq
end Rec }