Re: union type is evil, redux