これが accept されたってことは、 existential に any がつくとこまで既定路線なのかな？