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


================================================================================
Desugared:
Rec {
nodups{-r3j,x-}  ::  _forall_
		     [taBn]
		     =>
		     {PrelBase.Eq{-23,p-} taBn} -> [taBn] -> [taBn]
{-# L #-}
nodups{-r3j,x-} =
    _/\_ taBn -> \ d.Eq_aBp  ::  {PrelBase.Eq{-23,p-} taBn}
		   {-# L #-}
		   d.Eq_aBp ->
	_letrec_ {
	  ==_aEE  ::  taBn -> taBn -> PrelBase.Bool{-34,W-}
	  {-# L #-}
	  ==_aEE =
	      PrelBase.=={-8Y,p-} _@_ taBn d.Eq_aBp;
	  nodups_aAN  ::  [taBn] -> [taBn]
	  {-# L #-}
	  nodups_aAN =
	      \ ds_dF4  ::  [taBn]
		{-# L #-}
		ds_dF4 ->
		  let {
		    fail_dF5  ::  [taBn]
		    {-# L #-}
		    fail_dF5 =
			GHCerr.patError{-8r,w-}
			    _@_ [taBn] _string_ "ds004.hs:6|function `nodups'"
		  } in 
		    case ds_dF4 of {
		      PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taBn;
		      PrelBase.:{-55,w-}{i} x_r3e ds_dFm ->
			  case ds_dFm of {
			    PrelBase.[]{-5i,w-}{i} ->
				let {
				  ds_dFC  ::  [taBn]
				  {-# L #-}
				  ds_dFC =
				      PrelBase.[]{-5i,w-}{i} {_@_ taBn}
				} in  PrelBase.:{-55,w-}{i} {_@_ taBn x_r3e ds_dFC};
			    PrelBase.:{-55,w-}{i} x_r3h xs_r3i ->
				let {
				  y_r3g  ::  taBn
				  {-# L #-}
				  y_r3g =
				      x_r3e
				} in 
				  case ==_aEE y_r3g x_r3h of {
				    PrelBase.True{-5E,w-}{i} ->
					let {
					  ds_dG9  ::  [taBn]
					  {-# L #-}
					  ds_dG9 =
					      PrelBase.:{-55,w-}{i} _@_ taBn x_r3h xs_r3i
					} in  nodups_aAN ds_dG9;
				    PrelBase.False{-58,w-}{i} ->
					let { ds_dGB  ::  [taBn]
					      {-# L #-}
					      ds_dGB =
					  let {
					    ds_dGJ  ::  [taBn]
					    {-# L #-}
					    ds_dGJ =
						PrelBase.:{-55,w-}{i} _@_ taBn x_r3h xs_r3i
					  } in  nodups_aAN ds_dGJ
					} in
					PrelBase.:{-55,w-}{i} _@_ taBn y_r3g ds_dGB;
				  };
			  };
		    };
	} in  nodups_aAN
end Rec }