module Test where{ instance foo :: Foo Int else bar :: Foo String else baz :: Foo Boolean}