NO

peak

f(y0,y2)
*<-
f(f(y0,1()),y2)
->*
f(y0,f(1(),y2))

is not joinable