NO

peak

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

is not joinable