let unit fmt () =
  fprintf fmt "()"