あとは無理やり型消去した AnyP.defaultP を作るとか？