generic function A renames B with Foo => Bar;
