let apply s = function
  | App _ -> raise Not_found  (* only variables in domain. *)
  | x -> Map.find x s.find