NO

peak

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

is not joinable