products of instances and natural transformations