Could not deduce `Eq (Foo a b)' from the context (Ord a, Ord b)
Add `Eq (Foo a b)' to the instance declaration context
Or add an instance declaration for `Eq (Foo a b)'
arising from the instance declaration at ./drvfail004.hs:5
In the instance declaration for `Ord (Foo a b)'