def foo[**P: str](): ...