It depends. If bar uses other strong arrows functions, then you may get the property by transitivity.
But yes, how to discover and declare if something is a strong arrow or not is something we will tackle/expose at some point. Too early to say precisely how though.
