draft proposal for Sum Types for D

[Timon Gehr]

On 11/29/22 09:40, Andrey Zherikov wrote:
> Few other things that I think should be clarified:
> 
> Will sumtype support UDAs for its members?

It should, just like for `enum` and `union`.

> How will __traits work for sumtype (especially `allMembers` and 
> `getMember`)?

I guess it should work just like for `enum` and `union`.