自己適合をextension any P: Pって書くのがSE-0335のFuture Directionになってるので、その意味でもany Errorがおそらく望まれてる表記で正しいですね (edited)