Few other things that I think should be clarified: Will sumtype support UDAs for its members? How will __traits work for sumtype (especially `allMembers` and `getMember`)?