Ex 8.7: union