I feel like unions should be user visible, but should have well defined rules for how they behave that can be understood