I think maybe a definition of what `Variant` is would help