existentialの時にもpropを取り扱いたいが、デフォルト実装が生えられるのはコンパイルエラーが破壊されて困る