How to define the json object

I want to define a json structure to provide serialization and deserialization capabilities, but I encountered two problems.

1. No mapping of dictionary type
2. Unable to define recursive types (direct or indirect)

package endec: json@0.1.0;

world imports {
    export types;
}

interface types {
    /// The json value context
    record json {
        /// The root value
        root: value
    }
    /// A json value
    variant value {
        %null,
        %bool(bool),
        %decimal(f64),
        %string(string),
        %array(array),
        %object(object)
    }
    /// A json array
    record array {
        %list: list<value>,
    }
    /// A json object
    record object {
        %dict: list<tuple<string, value>>,
    }
}

Such a definition will report an error:

called `Result::unwrap()` on an `Err` value: failed to parse package: C:\Users\CLionProjects\serde-wasi\projects\serde-json\wit

Caused by:
    type `value` depends on itself
         --> C:\Users\CLionProjects\serde-wasi\projects\serde-json\wit\world.wit:11:15
          |
       11 |         root: value
          |               ^----

Start with the WIT example in the issue and the recursive-type diagnostic at world.wit:11. Review the component model's type rules for recursive values and dictionary-like mappings, then determine whether the requested JSON structure is supported or requires a design change; done means a documented resolution for both reported limitations.