Variants aren't types.