let map f ((a, b, rho) as d) =  
    let (a', alpha') = f a 
    and (b', beta') = f b in
      if a == a' && b == b' then d else
        make a' b' (Jst.dep3 rho alpha' beta')