NO

peak

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

is not joinable