Type Alias IR<T>

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