As this macro should deal with code written for current collections, I don't see any way how would it see a plain Reducable or Zippable instead of full class, as zippable and reducable aren't part of stdlib.
I can actually trigger an implicit search that will allow user to define his IsReducable and use it if provided(and fallback to stdlib methods if not), but it will make compilation really slow.