ds004.hs:6: 
    Warning: Possibly incomplete patterns
	in the definition of function `nodups'


================================================================================
Desugared:
Rec {
nodups{-r3j,x-}  :: 
    _forall_
    [t{-aGj-}]
    =>
    {PrelBase.Eq{-23,p-} t{-aGj-}} -> [t{-aGj-}] -> [t{-aGj-}]
{-# L #-}
nodups{-r3j,x-} =
    _/\_ t{-aGj-} -> \ d.Eq_aGz  :: 
			   {PrelBase.Eq{-23,p-} t{-aGj-}}
		       {-# L #-}
		       d.Eq_aGz ->
	_letrec_ {
	  ==_aJI  :: 
	      t{-aGj-} -> t{-aGj-} -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  ==_aJI =
	      PrelBase.=={-8Y,p-}
		  _@_ t{-aGj-} d.Eq_aGz;
	  nodups_aG4  :: 
	      [t{-aGj-}] -> [t{-aGj-}]
	  {-# L #-}
	  nodups_aG4 =
	      \ ds_dK8  :: 
		    [t{-aGj-}]
		{-# L #-}
		ds_dK8 ->
		  let {
		    fail_dK9  :: 
			[t{-aGj-}]
		    {-# L #-}
		    fail_dK9 =
			GHCerr.patError{-8r,p-}
			    _@_ [t{-aGj-}] _string_ "ds004.hs:6|function `nodups'"
		  } in 
		    case ds_dK8 of {
		      PrelBase.[]{-5i,p-}{i} ->
			  PrelBase.[]{-5i,p-}{i}
			      _@_ t{-aGj-};
		      PrelBase.:{-55,p-}{i} x_r3e ds_dKq ->
			  case ds_dKq of {
			    PrelBase.[]{-5i,p-}{i} ->
				let {
				  ds_dKG  :: 
				      [t{-aGj-}]
				  {-# L #-}
				  ds_dKG =
				      PrelBase.[]{-5i,p-}{i}
					  {_@_ t{-aGj-}}
				} in 
				  PrelBase.:{-55,p-}{i}
				      {_@_ t{-aGj-} x_r3e ds_dKG};
			    PrelBase.:{-55,p-}{i} x_r3h xs_r3i ->
				let {
				  y_r3g  :: 
				      t{-aGj-}
				  {-# L #-}
				  y_r3g =
				      x_r3e
				} in 
				  case
				      ==_aJI
					  y_r3g x_r3h
				  of {
				    PrelBase.True{-5E,p-}{i} ->
					let {
					  ds_dLd  :: 
					      [t{-aGj-}]
					  {-# L #-}
					  ds_dLd =
					      PrelBase.:{-55,p-}{i}
						  _@_ t{-aGj-} x_r3h xs_r3i
					} in 
					  nodups_aG4
					      ds_dLd;
				    PrelBase.False{-58,p-}{i} ->
					let { ds_dLF  :: 
						  [t{-aGj-}]
					      {-# L #-}
					      ds_dLF =
					  let {
					    ds_dLN  :: 
						[t{-aGj-}]
					    {-# L #-}
					    ds_dLN =
						PrelBase.:{-55,p-}{i}
						    _@_ t{-aGj-} x_r3h xs_r3i
					  } in 
					    nodups_aG4
						ds_dLN
					} in
					PrelBase.:{-55,p-}{i}
					    _@_ t{-aGj-} y_r3g ds_dLF;
				  };
			  };
		    };
	} in 
	  nodups_aG4
end Rec }