3 Could not deduce `Eq (Foo a b)' from the context: (Ord a1, Ord b1)
4 Probable cause: missing `Eq (Foo a b)'
5 in instance declaration context
6 or missing instance declaration for `Eq (Foo a b)'
7 arising from an instance declaration at drvfail004.hs:5