Type Alias Inductive<S>

Inductive: [S] extends [infer T extends Seed.Nullary]
    ? T
    : [S] extends [readonly [Seed.Unary, infer T]]
        ? [tag: S[0], unary: Inductive<T>]
        : [S] extends [readonly [Positional, infer T extends readonly unknown[]]]
            ? [S[0], { -readonly [Ix in keyof T]: Inductive<T[Ix]> }]
            : [S] extends [
                readonly [Associative, infer T extends readonly [(...), (...)][]],
            ]
                ? [
                    S[0],
                    {
                        -readonly [Ix in keyof T]: [
                            k: T[Ix][0],
                            v: Inductive<(...)[(...)][1]>,
                        ]
                    },
                ]
                : TypeError<"Expected: Fixpoint">