thenを２項演算子として使うと、if式って自然にかけるんだなぁとか思った今日この頃です。 if(a) then b else cは xox( xox( xpxp(if,(,a,)), then, b ), else, c )てなかんじになっていいなと。追記： いや、それより、 xox( xpxp(if,(,a,)), then, xox( b,…