Offer a workaround for https://github.com/rust-lang/rust/issues/97554

[danielhenrymantilla]

The issue:

• Higher-order bound on associated type does not support type inference rust-lang/rust#97554

will be an annoying hurdle for users of this crate, so an automatic workaround ought to be offered.

• A hand-written instance of the workaround I have in mind is showcased over here

cc @SabrinaJewson @Globidev