static struct S
{
    Nullable!int m;
}

static struct C1
{
    Variant!(float, double) m;
}

alias V = Variant!(S, C1);

V x = S(2.nullable);
V y = C1(Variant!(float, double)(4.0));

// getMember returns an algebraic of algebraics
static assert(is(typeof(x.getMember!"m") == Variant!(Variant!(float, double), Nullable!int)));
// matchMember returns a fused algebraic
static assert(is(typeof(x.matchMember!"m") == Nullable!(int, float, double)));
assert(x.matchMember!"m" == 2);
assert(y.matchMember!"m" != 4);
assert(y.matchMember!"m" == 4.0);