In discussion on @cuviper's proposal, it's been suggested that proc_macro_derive could be flexible enough to deal with the extended function signature as well. Perhaps this should be used in this proposal, though I'm not entirely comfortable with the signature of two-maybe-three TokenStream parameters by itself meaning "it does generics".