let dom s a =
  let (b, rho) = can s a in
  let d = Arith.dom_of b in
    (d, rho)