で、今や暗黙的なopenと、その逆の操作でexistentialからあらゆる関数が呼べるようになるって言うのが入った

9:09 AM

最初のopenを正しく理解してれば、そこの延長ですね