Fair enough. Then how about writing a normal `//` comment right above the unzip signature that would say that the signature can't be collapsed into context bounds, because some brief explanation.