Not so hard. It's fine if any individual tax is regressive, as long is counterbalanced by UBI or other forms of per-capita welfare support. You don't need to measure precisely, as long as you get rough estimates that people pay $Y in various sin-taxes but get $X>$Y in general welfare benefits.