How to Ensure a Type Extends a Base Schema in TypeScript

type BaseSchema = typeof BaseSchema;
  const BaseSchema = Schema.Struct({
    test: Schema.String,
  })

  const InputSchma = Schema.Union(BaseSchema, Schema.Struct({
    hello: Schema.String,
  }))

  const createRequestFactory = <InputSchema extends BaseSchema>({}: {
    inputSchema: InputSchema;
  }) => {
    // Ignore this part 
  }

  const test = createRequestFactory({
    inputSchema: CartAddInput,
  })

type BaseSchema = typeof BaseSchema;
  const BaseSchema = Schema.Struct({
    test: Schema.String,
  })

  const InputSchma = Schema.Union(BaseSchema, Schema.Struct({
    hello: Schema.String,
  }))

  const createRequestFactory = <InputSchema extends BaseSchema>({}: {
    inputSchema: InputSchema;
  }) => {
    // Ignore this part 
  }

  const test = createRequestFactory({
    inputSchema: CartAddInput,
  })