I did a similar thing for derive-io. It greatly improved the ergonomics of the macro.

https://docs.rs/derive-io/latest/derive_io/

Being able to handle directly recursive type bounds would be an awesome improvement to the compiler, IMO.