Use `impl<bounds>` instead of a `where` clause to help bindings