It even supports binding interfaces to implementations, and controlling whether instances get recreated or retained—based off the Dagger/Hilt behaviours as that's what I've used before.
Haven't done the equivalent of at-Provides, but it's actually at the point now that I can write macros that generate code that uses the lower level macros 🫠