Based on provided type this Arrow morphism will try to give you an access to an item within some Sum.
Since sums could be inductively defined, it's also possible to get an access to deeply nested items: