Syntax を existential として扱いたいからだと。