module Test where

instance foo :: Foo Int else bar :: Foo String
else baz :: Foo Boolean