NO

peak

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

is not joinable