class Foo a
instance Foo (String, String)
  
main = pure ()