Macro_rules, dealing with bound with multiple constraints

Hmm, that seems to be impossible with macro_rules. I can't find a work around. My guess is you'll need to make a proc macro.