Text this: Extensivity relative to a bifunctor