WitnessLayout: Codec<
    | {}
    | {}
    | {}
    | {},
    | {}
    | {}
    | {}
    | {}> = ...