On Aug 16, 2010, at 3:29 PM, Eugene Toder wrote: > Are there any conceptual objections to the union type or is this just > due to incomplete implementation? There is no conceptual objection, but the current implementation is both tantalizing and useless. It is causing more damage to keep it in tree than the value it provides. -Chris