ds027.hs:8: 
    Warning: Possibly incomplete patterns
	in the definition of function `=='
ds027.hs:9: 
    Warning: Possibly incomplete patterns
	in the definition of function `/='


================================================================================
Desugared:
Rec {
d.Eval_aGg  :: 
    {PrelBase.Eval{-24,p-} Foo{-r3n,x-}}
{-# L #-}
d.Eval_aGg =
    PrelBase.void{-8G,p-}
$d2{-rIX,x-}  :: 
    {PrelBase.Eval{-24,p-} Foo{-r3n,x-}}
{-# L #-}
$d2{-rIX,x-} =
    d.Eval_aGg
==_aGo  :: 
    Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
{-# L #-}
==_aGo =
    \ ds_dJM  :: 
	  Foo{-r3n,x-}
      {-# L #-}
      ds_dJM ds_dJN  :: 
		 Foo{-r3n,x-}
	     {-# L #-}
	     ds_dJN ->
	let {
	  fail_dJO  :: 
	      PrelBase.Bool{-34,p-}
	  {-# L #-}
	  fail_dJO =
	      GHCerr.patError{-8r,p-}
		  _@_ PrelBase.Bool{-34,p-} _string_ "ds027.hs:8|function `=='"
	} in 
	  case ds_dJM of {
	    Baz{-r3,x-}{i} ->
		fail_dJO;
	    Bar{-r4,x-}{i} ->
		case ds_dJN of {
		  Bar{-r4,x-}{i} ->
		      fail_dJO;
		  Baz{-r3,x-}{i} ->
		      PrelBase.True{-5E,p-}{i};
		};
	  }
==_aJ7  :: 
    Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
{-# L #-}
==_aJ7 =
    ==_aGo
/=_aGs  :: 
    Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
{-# L #-}
/=_aGs =
    \ ds_dKq  :: 
	  Foo{-r3n,x-}
      {-# L #-}
      ds_dKq ds_dKr  :: 
		 Foo{-r3n,x-}
	     {-# L #-}
	     ds_dKr ->
	let {
	  fail_dKs  :: 
	      PrelBase.Bool{-34,p-}
	  {-# L #-}
	  fail_dKs =
	      GHCerr.patError{-8r,p-}
		  _@_ PrelBase.Bool{-34,p-} _string_ "ds027.hs:9|function `/='"
	} in 
	  case ds_dKq of {
	    Baz{-r3,x-}{i} ->
		fail_dKs;
	    Bar{-r4,x-}{i} ->
		case ds_dKr of {
		  Bar{-r4,x-}{i} ->
		      fail_dKs;
		  Baz{-r3,x-}{i} ->
		      PrelBase.False{-58,p-}{i};
		};
	  }
/=_aJg  :: 
    Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
{-# L #-}
/=_aJg =
    /=_aGs
d.Eq_aGl  :: 
    {PrelBase.Eq{-23,p-} Foo{-r3n,x-}}
{-# L #-}
d.Eq_aGl =
    PrelTup.(,){-62,p-}{i}
	{_@_ (Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-})
	 _@_ (Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-})
	 ==_aJ7
	 /=_aJg}
$d1{-rJp,x-}  :: 
    {PrelBase.Eq{-23,p-} Foo{-r3n,x-}}
{-# L #-}
$d1{-rJp,x-} =
    d.Eq_aGl
Bar{-r4,x-}{i}  :: 
    Foo{-r3n,x-}
_A_ 0 {-# L #-}
Bar{-r4,x-}{i} =
    Bar{-r4,x-}{i}
	{}
Baz{-r3,x-}{i}  :: 
    Foo{-r3n,x-}
_A_ 0 {-# L #-}
Baz{-r3,x-}{i} =
    Baz{-r3,x-}{i}
	{}
end Rec }