Maintaining Type Integrity When Modifying Common Fields in Tagged Unions - Effect Community