+================================================================================
+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 }