How can variant B imply variant A?

[Jeremy Lavergne]

> How can I make variant B automatically turn the variant A on?

variant A {}
variant B requires A {}