NO

peak

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

is not joinable