How to use generic types in Zod

Generics4Zod.ts

import { z } from 'zod';

// The zod model with generics type in function form
const PaginatedList = <T extends z.ZodTypeAny>(elemType: T) =>
  z.object({
    // some properties omitted
    url: z.string(),
    data: z.array(elemType),
  });

// The "dynamic type" of model "PaginatedList"
// Which extends z.ZodTypeAny
// The generic param T here is dynamic type
// Note: require typescript@^4.7 for instantiation expressions
type PaginatedListModel<T extends z.ZodTypeAny> = ReturnType<typeof PaginatedList<T>>;

// The "static type" of model "PaginatedList"
// Which is like z.infer<z.ZodTypeAny>
// The generic param T here is static type
type PaginatedList<T> = z.infer<PaginatedListModel<z.ZodType<T>>>;
/*
  = {
      url: string;
      data: T[];
  }
 */

// The parser
const definePaginatedListParser =
  <T extends z.ZodTypeAny>(zodModel: PaginatedListModel<T>) =>
  (data: z.infer<typeof zodModel>): PaginatedList<T> => {
    return zodModel.parse(data);
  };

// Using verified data in codebase
const extractData = (list: PaginatedList<string>): string[] => {
  return list.data;
};

Original code from colinhacks/zod#670