any P（existential）の出番がvar: any P = condition ? A() : B()　くらいかな