https://arktype.io/playground?code=%250Aimport%2520%257B%2520type%2520%257D%2520from%2520%2522arktype%2522%250A%250Aconst%2520formScope%2520%253D%2520type.scope%28%257B%250A%2509%27form.number%27%253A%2520%2522string.numeric.parse%2522%252C%250A%2509%27form.yesno%27%253A%2520%255B%2522%27yes%27%2520%257C%2520%27no%27%2522%252C%2520%2522%253D%253E%2522%252C%2520%28c%29%2520%253D%253E%2520c%2520%253D%253D%253D%2520%2522yes%2522%255D%252C%250A%2509%27form.yesno.yes%27%253A%2520%255B%2522%27yes%27%2522%252C%2520%2522%253D%253E%2522%252C%2520%28_%29%2520%253D%253E%2520true%255D%252C%250A%2509%27form.yesno.no%27%253A%2520%255B%2522%27no%27%2522%252C%2520%2522%253D%253E%2522%252C%2520%28_%29%2520%253D%253E%2520false%255D%250A%257D%29%250A%250Aconst%2520loanDetailsSchema%2520%253D%2520formScope.type%28%257B%250A%2509loanAmount%253A%2520%2522form.number%2522%252C%250A%2509monthlyRate%253A%2520%2522form.number%2522%252C%250A%2509bankName%253A%2520%2522string%2522%252C%250A%2509%2522borrowerIban%253F%2522%253A%2520%2522string%2522%250A%257D%29%250A%250Aconst%2520loanGroupSchema%2520%253D%2520formScope.type.or%28%250A%2509%257B%250A%2509%2509loanType%253A%2520%2522string%2522%252C%250A%2520%2520%2520%2520%2520%2520%2520%2520loanDetails%253A%2520loanDetailsSchema%252C%250A%2509%2509unionBranchMarker%253A%2520%2522%27fullInformationRequired%27%2522%250A%2509%257D%252C%250A%2509%257B%250A%2509%2509loanType%253A%2520%2522string%2522%252C%250A%2509%2509loanAmount%253A%2520%2522number%2522%252C%250A%2509%2509unionBranchMarker%253A%2520%2522%27reducedInformation%27%2522%250A%2509%257D%250A%29%250A%250Aconst%2520existingLoanGroupSchema%2520%253D%2520formScope.type%28%257B%250A%2509hasLoans%253A%2520type.or%28%250A%2509%2509%257B%250A%2509%2509%2509exists%253A%2520formScope.type%28%2522form.yesno.yes%2522%29%252C%250A%2509%2509%2509existingLoans%253A%2520formScope.type%28%257B%2520%2522%255Bstring%255D%2522%253A%2520loanGroupSchema%2520%257D%29%250A%2509%2509%257D%252C%250A%2509%2509%257B%250A%2509%2509%2509exists%253A%2520formScope.type%28%2522form.yesno.no%2522%29%250A%2509%2509%257D%250A%2509%29%250A%257D%29%250A%250A%250A%250Atype%2520Primitive%2520%253D%2520null%2520%257C%2520undefined%2520%257C%2520string%2520%257C%2520number%2520%257C%2520boolean%2520%257C%2520symbol%2520%257C%2520bigint%253B%250A%250Atype%2520RecursivePartial%253CT%253E%2520%253D%2520T%2520extends%2520Primitive%250A%2520%2520%253F%2520T%250A%2520%2520%253A%2520%257B%250A%2520%2520%2520%2520%2520%2520%255BP%2520in%2520keyof%2520T%255D%253F%253A%2520T%255BP%255D%2520extends%2520%28infer%2520U%29%255B%255D%2520%253F%2520RecursivePartial%253CU%253E%255B%255D%2520%253A%2520RecursivePartial%253CT%255BP%255D%253E%253B%250A%2520%2520%2520%2520%257D%2520%2526%2520unknown%253B%250A%250A%250Afunction%2520applyDeepPartialSchemaRules%253Co%2520extends%2520type%253Cobject%2520%257C%2520null%2520%257C%2520undefined%253E%253E%28%250A%2520%2520o%253A%2520o%252C%250A%29%253A%2520type%253CRecursivePartial%253Co%255B%2522t%2522%255D%253E%2520%257C%2520null%2520%257C%2520undefined%253E%253B%250Afunction%2520applyDeepPartialSchemaRules%28o%253A%2520type%253CRecord%253Cstring%252C%2520unknown%253E%2520%257C%2520unknown%255B%255D%253E%29%253A%2520unknown%2520%257B%250A%250A%2520%2520const%2520transformed%2520%253D%2520o.internal.transform%28%2520%28kind%252C%2520inner%252C%2520ctx%29%2520%253D%253E%2520%257B%250A%2520%2520%2520%2520if%2520%28kind%2520%253D%253D%2520%2522structure%2522%2520%2526%2526%2520%2522required%2522%2520in%2520inner%29%2520%257B%250A%2520%2520%2520%2520%2520%2520const%2520requiredValue%2520%253D%2520inner.required%253B%250A%2520%2520%2520%2520%2520%2520const%2520%257B%2520required%252C%2520...rest%2520%257D%2520%253D%2520inner%253B%250A%2520%2520%2520%2520%2520%2520const%2520optional%2520%253D%2520requiredValue%253F.map%28%28required%29%2520%253D%253E%2520%257B%250A%2520%2520%2520%2520%2520%2520%2520return%2520%257B%250A%2520%2520%2520%2520%2520%2520%2520%2520%2520...required.inner%252C%250A%2520%2520%2520%2520%2520%2520%2520%257D%250A%2520%2520%2520%2520%2520%2520%257D%29%250A%2520%2520%2520%2520%2520%2520return%2520%2520%257B...rest%257D%253B%250A%2520%2520%2520%2520%257D%2520%250A%2520%2520%2520%2520return%2520%257B...inner%257D%253B%250A%2520%2520%257D%252C%2520%257BshouldTransform%253A%2520%28node%252C%2520ctx%29%2520%253D%253E%2520node.includesTransform%257D%29%253B%250A%2520%2520return%2520transformed%253B%250A%2520%2520%257D%250A%250A%250Aconst%2520Thing%2520%253D%2520applyDeepPartialSchemaRules%28existingLoanGroupSchema%2520as%2520unknown%2520as%2520type%253Cobject%253E%29%250A%250Aconst%2520out%2520%253D%2520Thing%28%257B%250A%2509name%253A%2520%2522TypeScript%2522%252C%250A%2509versions%253A%2520%255B%25225.8.2%2522%252C%25206%252C%25207n%255D%250A%257D%29%250A%250A%250A%252F*%250Aexpected%2520would%2520be%2520something%2520in%2520the%2520form%2520of%253A%250A%250A%2520hasLoans%253A%2520type.or%28%250A%2520%2520%2520%2520%257B%250A%2520%2520%2520%2520%2520%2520exists%253A%2520formScope.type%28%2522form.yesno.yes%2522%29%252C%250A%2520%2520%2520%2520%2520%2520existingLoans%253A%2520formScope.type%28%257B%2520%2522%255Bstring%255D%2522%253A%2520%257B%250A%2520%2520%2520%2520%2520%2520%2520%2520loanType%253A%2520formScope.type%28%2522string%2522%29.optional%28%29%252C%250A%2520%2520%2520%2520%2520%2520%2520%2520loanDetails%253A%2520formScope.type%28%257B%250A%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520loanAmount%253A%2520formScope.type%28%2522number%2522%29.optional%28%29%252C%250A%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520monthlyRate%253A%2520formScope.type%28%2522number%2522%29.optional%28%29%252C%250A%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520bankName%253A%2520formScope.type%28%2522string%2522%29.optional%28%29%252C%250A%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520%2522borrowerIban%253F%2522%253A%2520formScope.type%28%2522string%2522%29%252C%250A%2520%2520%2520%2520%2520%2520%2520%2520%257D%29.optional%28%29%252C%250A%2520%2520%2520%2520%2520%2520%257D%2520%257D%29%252C%250A%2520%2520%2520%2520%257D%252C%250A%2520%2520%2520%2520%257B%250A%2520%2520%2520%2520%2520%2520exists%253A%2520formScope.type%28%2522form.yesno.no%2522%29%252C%250A%2520%2520%2520%2520%257D%250A%2520%2520%29%250A*%252F%250A