Based on provided type this Arrow morphism will try to give you an access to an item within some Product.
Since products could be inductively defined, it's also possible to get an access to deeply nested items:
You can wrap this Arrow morphism into Scope: