-> some P で暗黙的に existential 返すくらいなら、明示的に -> any P した方がいいんじゃないですか？