if you follow the inheritance chain, map IS a A =&...
# getting-started
f
if you follow the inheritance chain, map IS a A => B