"foo as @Trait" needs to be "@foo as @Trait"

[pcwalton]

Otherwise when you have callbacks the pattern is really awkward and error-prone. Copying the thing into the box is wrong.