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