NO

peak

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

is not joinable