SumType in Phobos?

[Per Nordlöw]

On Wednesday, 19 February 2020 at 06:52:04 UTC, Ernesto 
Castellotti wrote:
> How about including SumType 
> (https://github.com/pbackus/sumtype) in Phobos?
>
> We know that std.variant.Algebraic has problems (nogc, nothrow 
> etc), SumType would be a wonderful solution to provide a tagged

I also have an alternative to std.variant.Algebraic at

https://github.com/nordlow/phobos-next/blob/master/src/nxt/variant.d

which is @safe pure nothrow @nogc when possible and doesn't rely 
on TypeInfo. No explicit support for @BetterC.