How to defining Arktype schemas that agree with a TypeScript type?

const Props = v.object({
    title: v.pipe(v.string(), v.url())
}) satisfies v.GenericSchema<{ title: string }>;

const Props = type.declare<{ title: string }, { side: 'out' }>().type({
    title: 'string'
});

Żadne przeciążenie nie jest zgodne z tym wywołaniem.
  Przeciążenie 1 z 3, „(validate: "unchecked", fn: (data: RemoteFormInput, issue: Record<string | number, any>) => MaybePromise<void>): RemoteForm<RemoteFormInput, void>”, zwróciło następujący błąd.
    Nie można przypisać argumentu typu „Type<(In: { title: string; }) => { title: string; }, {}>” do parametru typu „"unchecked"”.
  Przeciążenie 2 z 3, „(validate: StandardSchemaV1<RemoteFormInput, Record<string, any>>, fn: (data: Record<string, any>, issue: Record<string | number, any>) => MaybePromise<...>): RemoteForm<...>”, zwróciło następujący błąd.
    Nie można przypisać argumentu typu „Type<(In: { title: string; }) => { title: string; }, {}>” do parametru typu „StandardSchemaV1<RemoteFormInput, Record<string, any>>”.
      Typy elementu „"~standard".types” są niezgodne między tymi typami.
        Typu „Types<(In: { title: string; }) => { title: string; }, (In: { title: string; }) => { title: string; }> | undefined” nie można przypisać do typu „Types<RemoteFormInput, Record<string, any>> | undefined”.
          Typu „Types<(In: { title: string; }) => { title: string; }, (In: { title: string; }) => { title: string; }>” nie można przypisać do typu „Types<RemoteFormInput, Record<string, any>>”.
            Typy właściwości „input” są niezgodne.
              Typu „(In: { title: string; }) => { title: string; }” nie można przypisać do typu „RemoteFormInput”.
                Brak sygnatury indeksu dla typu „string” w typie „(In: { title: string; }) => { title: string; }”.