================================================================================
Desugared:
w{-r3f,x-}  :: 
    _forall_ [t{-amV-}] => [t{-amV-}]
{-# L #-}
w{-r3f,x-} =
    _/\_ t{-amV-} ->
	let {
	  y_r3e  :: 
	      _forall_ [t{-amM-}] => [t{-amM-}]
	  {-# L #-}
	  y_r3e =
	      _/\_ t{-amM-} ->
		  PrelBase.[]{-5i,p-}{i}
		      _@_ t{-amM-} } in
	let {
	  a_r3d  :: 
	      _forall_ [t{-amT-}] => [t{-amT-}]
	  {-# L #-}
	  a_r3d =
	      _/\_ t{-amT-} ->
		  y_r3e
		      _@_ t{-amT-}
	} in 
	  a_r3d
	      _@_ t{-amV-}