let apply app (e, rho) a =
    let b = app e a in
      if a == b then id a else
        (b, rho)