================================================================================
Desugared:
Rec {
x{-r1,x-}  ::  _forall_ [tak4] => tak4
{-# L #-}
x{-r1,x-} =
    _/\_ tak4 ->
	_letrec_ {
	  x_ak2  ::  tak4
	  {-# L #-}
	  x_ak2 =
	      x_ak2;
	} in  x_ak2
end Rec }