generic function A renames B with Foo => Bar
