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