NO

peak

+(y0,y2)
*<-
+(y0,+(0(),y2))
->*
+(+(y0,0()),y2)

is not joinable