main :: IO ()
main = pure ()

class Foo a

instance Foo a

instance Foo Int