open existential 相当の操作かな