How to wrap Morphs into a function

[shlroland]

I want to wrap and call a function in the form of

export function arkParseJSON<const def, $ = object, r = type.infer<def, $>>(schema: type.validate<def, $>, value: string) {
  const parse = type('string.json.parse').to<def, r>(schema)
  return parse(value)
}

And currying this function.

But I have never been able to resolve these two types of errors.

Argument of type '[def] extends [Terminal] ? def : def extends string ? validateString<def, $, bindThis<def>> : def extends array ? validateTuple<...> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp exte...' is not assignable to parameter of type '[def] extends [Terminal] ? def : def extends string ? validateString<def, {}, bindThis<def>> : def extends array ? validateTuple<...> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp ext...'.
  Type 'def | (def extends string ? validateString<def, $, bindThis<def>> : def extends array ? validateTuple<def, $, bindThis<...>> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp extends def ...' is not assignable to type '[def] extends [Terminal] ? def : def extends string ? validateString<def, {}, bindThis<def>> : def extends array ? validateTuple<...> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp ext...'.
    Type 'Terminal & def' is not assignable to type '[def] extends [Terminal] ? def : def extends string ? validateString<def, {}, bindThis<def>> : def extends array ? validateTuple<...> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp ext...'.
      Type 'cast<unknown> & def' is not assignable to type '[def] extends [Terminal] ? def : def extends string ? validateString<def, {}, bindThis<def>> : def extends array ? validateTuple<...> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp ext...'.
        Type 'def extends string ? validateString<def, $, bindThis<def>> : def extends array ? validateTuple<def, $, bindThis<def>> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp extends def ? def :...' is not assignable to type 'def extends string ? validateString<def, {}, bindThis<def>> : def extends array ? validateTuple<def, {}, bindThis<def>> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp extends def ? def...'.
          Type 'validateString<def, $, bindThis<def>> | (def extends array ? validateTuple<def, $, bindThis<def>> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp extends def ? def : validateObjectLiter...' is not assignable to type 'def extends string ? validateString<def, {}, bindThis<def>> : def extends array ? validateTuple<def, {}, bindThis<def>> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp extends def ? def...'.
            Type 'validateString<def, $, bindThis<def>>' is not assignable to type 'def extends string ? validateString<def, {}, bindThis<def>> : def extends array ? validateTuple<def, {}, bindThis<def>> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp extends def ? def...'.
              Type '`${string}\u200A` | def' is not assignable to type 'def extends string ? validateString<def, {}, bindThis<def>> : def extends array ? validateTuple<def, {}, bindThis<def>> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp extends def ? def...'.
                Type '`${string}\u200A`' is not assignable to type 'def extends string ? validateString<def, {}, bindThis<def>> : def extends array ? validateTuple<def, {}, bindThis<def>> : def extends BadDefinitionType ? `Type definitions must be strings or objects (was ${objectKindOrDomainOf<...>})\u200A` : unknown extends def ? {} | BaseCompletions<...> : RegExp extends def ? def...'.
                  Type 'validateString<def, $, bindThis<def>>' is not assignable to type 'validateString<def, {}, bindThis<def>>'.
                    Type '`${string}\u200A` | def' is not assignable to type 'validateString<def, {}, bindThis<def>>'.
                      Type '`${string}\u200A`' is not assignable to type 'validateString<def, {}, bindThis<def>>'.ts(2345)

Current alternative solutions

export function arkParseJSON<const def, $ = object, r = type.infer<def, $>>(schema: type.validate<def, $>, value: string) {
  const parse = type('string.json.parse').to<def, r>(schema as any)
  return parse(value) as r | ArkErrors
}

[ssalbdivad]

Unfortunately this is the kind of thing that mostly boils down to quirks of complex TS and has to be addressed on a case-by-case basis. I may have some useful intuitions, but I'd need to see a more complete repro to be able to help.

The best I can give for dealing with these types in general is to look at how ArkType handles function signature for complex transformations and try to mimic that.

[shlroland]

archive.zip
This is my current code