Hi,

I wonder why I can't use Algebraic like this:

    struct Foo(bool flag)
    {
        size_t bar() { return flag ? 42 : 0; }
    }

    Foo!false f;
    Foo!true t;
    Algebraic!(typeof(t), typeof(f)) v;
    v = t;
    Variant i = v.bar(); // or an Algebraic of the return types. This doesn't compile anyway
    assert(i.type == typeof(size_t));
    assert(i.get!size_t() == 42);

Essentially what I miss is opDispatch implemented on Variant. There seemed to be a discussion with a proposal for an Any type in std.typecons some time ago (http://forum.dlang.org/thread/20100708100757.GA4412@dsource), but for some reason none of it has made it into Phobos.

Can anyone explain about why it isn't implemented? Seems like I missed something...