class GHC.Classes.Eq a_0 => Main.MyClass (a_0 :: *) instance GHC.Classes.Ord a_1 => Main.MyClass (Main.Quux2 a_1) instance GHC.Classes.Eq a_2 => Main.MyClass (Main.Quux a_2) instance Main.MyClass Main.Baz instance Main.MyClass Main.Foo True True True True True True True True False