typedef Foo = String & {}