Damian Conway wrote:
> > Let's assume that op is overloaded for two completely unrelated types
> > A and B, which are both defining their respective identity elements
> > but !(A.identval =:= B.identval). How should the &op multi method object
> > pick the correct one *without* looking at $value's type?
>  
>  
>  Your mistake is in thinking that the identity trait is on the operand 
>  type. It isn't; it's on the operator itself.

I agree, that the pair of operator and type which determines the identity
element can be stored as a trait of the operator implementation. *But* the
operator selection from the multi has to use the type of $value. In
particular it might not be inferable at compile time. Thus the compiler
has to produce MMD code and hook half way into it to perform the selected
call with two args: the identity &op.identval and $value.

Which brings me to the question: is there a syntax to invoke the
target selection from a multi? E.g. &op.select($value,$value) here?
Or is it &op:($value,$value)?
-- 
TSa (Thomas SandlaÃ?)