let map f ((a, rho) as nn) =
    let (a', alpha') = f a in
      if a == a' then nn else
        make a' (Jst.dep2 rho alpha')