I added Arktype to one of my smaller projects and it's nice. The syntax feels less verbose than io-ts, especially when recursive types are involved. (With recursion on io-ts, you had to define the TypeScript type first, then the codec, so you pretty much defined the same thing twice)