================================================================================
Desugared:
Rec {
d.Num_aY4  :: 
    {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
{-# L #-}
d.Num_aY4 =
    PrelBase.$d3{-rbb,p-}
fromInt_a117  :: 
    PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
{-# L #-}
fromInt_a117 =
    PrelBase.fromInt{-8R,p-}
	_@_ PrelBase.Int{-3g,p-} d.Num_aY4
lit_a11e  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a11e =
    let {
      ds_d11D  :: 
	  PrelBase.Int{-3g,p-}
      {-# L #-}
      ds_d11D =
	  PrelBase.I#{-5b,p-}{i}
	      1
    } in 
      fromInt_a117
	  ds_d11D
f{-r3m,x-}  :: 
    _forall_ [t{-aXj-} t{-aXh-}] => t{-aXj-} -> [t{-aXh-}]
{-# L #-}
f{-r3m,x-} =
    _/\_ t{-aXj-} t{-aXh-} -> \ x_r3f  :: 
				    t{-aXj-}
				{-# L #-}
				x_r3f ->
	PrelBase.[]{-5i,p-}{i}
	    _@_ t{-aXh-}
g{-r3l,x-}  :: 
    _forall_
    [t{-aXD-} t{-aXv-} t{-aXx-} t{-aXz-} t{-aXB-}]
    =>
    t{-aXD-} -> ([t{-aXv-}], [t{-aXx-}], [t{-aXz-}], [t{-aXB-}])
{-# L #-}
g{-r3l,x-} =
    _/\_ t{-aXD-} t{-aXv-} t{-aXx-} t{-aXz-} t{-aXB-} -> \ x_r3h  :: 
							       t{-aXD-}
							   {-# L #-}
							   x_r3h ->
	let { ds_d12o  :: 
		  [t{-aXv-}]
	      {-# L #-}
	      ds_d12o =
	  let {
	    ds_d12M  :: 
		[GHC.Void{-3T,p-}]
	    {-# L #-}
	    ds_d12M =
		PrelBase.[]{-5i,p-}{i}
		    _@_ GHC.Void{-3T,p-}
	  } in 
	    f{-r3m,x-}
		_@_ [GHC.Void{-3T,p-}] _@_ t{-aXv-} ds_d12M
	} in
	let {
	  ds_d12s  :: 
	      [t{-aXx-}]
	  {-# L #-}
	  ds_d12s =
	      PrelBase.[]{-5i,p-}{i}
		  _@_ t{-aXx-} } in
	let {
	  ds_d12w  :: 
	      [t{-aXz-}]
	  {-# L #-}
	  ds_d12w =
	      PrelBase.[]{-5i,p-}{i}
		  _@_ t{-aXz-} } in
	let {
	  ds_d12A  :: 
	      [t{-aXB-}]
	  {-# L #-}
	  ds_d12A =
	      PrelBase.[]{-5i,p-}{i}
		  _@_ t{-aXB-}
	} in 
	  PrelTup.(,,,){-64,p-}{i}
	      {_@_ [t{-aXv-}]
	       _@_ [t{-aXx-}]
	       _@_ [t{-aXz-}]
	       _@_ [t{-aXB-}]
	       ds_d12o
	       ds_d12s
	       ds_d12w
	       ds_d12A}
h{-r3k,x-}  :: 
    _forall_
    [t{-aY0-} t{-aXS-} t{-aXT-} t{-aXU-} t{-aXV-}]
    =>
    t{-aY0-} -> ([t{-aXS-}], [t{-aXT-}], [t{-aXU-}], [t{-aXV-}])
{-# L #-}
h{-r3k,x-} =
    _/\_ t{-aY0-} t{-aXS-} t{-aXT-} t{-aXU-} t{-aXV-} -> \ x_r3j  :: 
							       t{-aY0-}
							   {-# L #-}
							   x_r3j ->
	g{-r3l,x-}
	    _@_ PrelBase.Int{-3g,p-}
	    _@_ t{-aXS-}
	    _@_ t{-aXT-}
	    _@_ t{-aXU-}
	    _@_ t{-aXV-}
	    lit_a11e
end Rec }