foo :: Foo a => String