LiteralUuid

type LiteralUuid<S extends string> = S extends NilUuid
  ? S
  : S extends `${infer S8}-${infer S4_1}-${infer S4_2}-${infer S4_3}-${infer S12}`
  ? S8 extends Char8<S8>
    ? S4_1 extends Char4<S4_1>
      ? S4_2 extends VersionGroup<S4_2>
        ? S4_3 extends Char4<S4_3>
          ? S12 extends Char12<S12>
            ? S
            : never
          : never
        : never
      : never
    : never
  : never;