Projection function for arbitrarily nested binary product types.