本命はExistemtialの記法が確立することで、extension any P: Pが書けるようになることだと思うけど