NeverP[f9] みたいなものを内部的に生成してくれたらそこは無理やり通すようにできそうな気もする

2:23 AM

some P に対してとりあえず真の型が確定しないからエラーっていうのはひとまずはわかりやすいけど。