unions can now be empty