Definition jsonComponents (c : list componentT) : json :=
  JsonArray (map jsonComponent c).
