NO

   1: a() -> f(a(),b())
   2: f(a(),b()) -> f(b(),a())

unjoinable pair
  f(f(b(),a()),b()) <- -> f(b(),a())