move justification as early as possible
make it clear that tuples are always made up of fresh variants