But we studied those for both product and union ty...
# arrow
t
But we studied those for both product and union types.