NO

peak

f(b(),a())
*<-
f(f(f(x0,a()),a()),a())
->*
b()

is not joinable