let empty = {
  v = V.empty;
  d = D.empty;
  c = C.empty
}