On 3/30/11 12:20 AM, Cristi Cobzarenco wrote: > Well they don't _have_ to be the same type as long they're convertible > to one another, and one can make sure they're convertible based on the > result of the double-inclusion. But how would you make them _implicitly_ convertible then? David