これを宣言しておくと、existentialを作るとtype erasureになる、とかかしら。