homogeneizing instances vs. tuples