Re: wrapping behavior [Was: union type is EVIL EVIL EVIL]