On 2/2/08, Walter Bright <newshound1 at digitalmars.com> wrote: > It can be solved by having the result type of ~ be a polysemous > type, i.e. its type is based on how it is used. Nice! (I haven't quite wrapped my head around those, yet!)