let joinf f t1 t2 = 
  join (f t1) (f t2)