-
Robbert Krebbers authored
Typeclass search gets less confused when this version is used, also, we had the same for `wp_bind` already.
b8dc1d84
Typeclass search gets less confused when this version is used, also, we had the same for `wp_bind` already.