Type Alias Fixpoint

Fixpoint:
    | { def: Scalar; tag: URI.bottom }
    | { def: Json.Fixpoint[]; tag: URI.array }
    | { def: [k: string, v: Json.Fixpoint][]; tag: URI.object }