================================================================================
Desugared:
Rec {
c{-r3I,x-}  :: 
    _forall_ [t{-ang-}] => t{-ang-}
{-# L #-}
c{-r3I,x-} =
    _/\_ t{-ang-} ->
	_letrec_ {
	  c_ane  :: 
	      t{-ang-}
	  {-# L #-}
	  c_ane =
	      c_ane;
	} in 
	  c_ane
end Rec }
h{-r3L,x-}  :: 
    _forall_
    [t{-anG-} t{-anC-} t{-anE-}]
    =>
    t{-anG-} -> t{-anC-} -> t{-anE-} -> t{-anC-}
{-# L #-}
h{-r3L,x-} =
    _/\_ t{-anG-} t{-anC-} t{-anE-} -> \ x_r3z  :: 
					     t{-anG-}
					 {-# L #-}
					 x_r3z y_r3B  :: 
						   t{-anC-}
					       {-# L #-}
					       y_r3B ->
	let {
	  f_r3D  :: 
	      _forall_ [t{-any-} t{-anA-}] => t{-any-} -> t{-anA-} -> t{-any-}
	  {-# L #-}
	  f_r3D =
	      _/\_ t{-any-} t{-anA-} -> \ a_r3F  :: 
					      t{-any-}
					  {-# L #-}
					  a_r3F b_r3H  :: 
						    t{-anA-}
						{-# L #-}
						b_r3H ->
		  a_r3F
	} in 
	  f_r3D
	      _@_ t{-anC-} _@_ t{-anE-} y_r3B
f{-r3O,x-}  :: 
    _forall_ [t{-anO-}] => t{-anO-} -> t{-anO-}
{-# L #-}
f{-r3O,x-} =
    _/\_ t{-anO-} -> \ x_r3j  :: 
			   t{-anO-}
		       {-# L #-}
		       x_r3j ->
	x_r3j
g{-r3N,x-}  :: 
    _forall_
    [t{-anW-} t{-ao2-} t{-ao4-}]
    =>
    t{-ao2-} -> t{-ao4-} -> t{-anW-} -> t{-anW-}
{-# L #-}
g{-r3N,x-} =
    _/\_ t{-anW-} t{-ao2-} t{-ao4-} -> \ x_r3l  :: 
					     t{-ao2-}
					 {-# L #-}
					 x_r3l y_r3n  :: 
						   t{-ao4-}
					       {-# L #-}
					       y_r3n z_r3p  :: 
							 t{-anW-}
						     {-# L #-}
						     z_r3p ->
	f{-r3O,x-}
	    _@_ t{-anW-} z_r3p
j{-r3M,x-}  :: 
    _forall_
    [t{-aoe-} t{-aoh-} t{-aoj-} t{-aoo-}]
    =>
    t{-aoe-} -> t{-aoh-} -> t{-aoo-} -> t{-aoj-} -> t{-aoj-}
{-# L #-}
j{-r3M,x-} =
    _/\_ t{-aoe-} t{-aoh-} t{-aoj-} t{-aoo-} -> \ w_r3r  :: 
						      t{-aoe-}
						  {-# L #-}
						  w_r3r x_r3t  :: 
							    t{-aoh-}
							{-# L #-}
							x_r3t y_r3v  :: 
								  t{-aoo-}
							      {-# L #-}
							      y_r3v z_r3x  :: 
									t{-aoj-}
								    {-# L #-}
								    z_r3x ->
	g{-r3N,x-}
	    _@_ t{-aoj-} _@_ t{-aoe-} _@_ t{-aoh-} w_r3r x_r3t z_r3x
b{-r3J,x-}  :: 
    _forall_ [t{-aou-}] => t{-aou-} -> t{-aou-}
{-# L #-}
b{-r3J,x-} =
    _/\_ t{-aou-} ->
	f{-r3O,x-}
	    _@_ t{-aou-}
a{-r3K,x-}  :: 
    _forall_ [t{-aoA-}] => t{-aoA-} -> t{-aoA-}
{-# L #-}
a{-r3K,x-} =
    _/\_ t{-aoA-} ->
	b{-r3J,x-}
	    _@_ t{-aoA-}