[ElegantBeef]

> It lacks proper sum types

We've talked about this before! You know it has sum types, just not the variation you want.

[j-james]

I know, I know! I do very much like the "type wrapper" approach more than the "object variant" approach.

Perhaps in the future we'll simply have both and have no reason to debate ;-)