Implement function parameters of the form some P be synthesizing an implicit generic parameter whose requirements come from the opaque type. We then map the opaque type back to the generic paramete...