Opaque Types vs. Generic Placeholders

You will be able to distinguish between caller-determined generic inputs and callee-determined opaque outputs.