app(p(X0,X1),X2) = p(app(X0,X2),X1)
app(v,X0) = X0