This is a good illustration of one of the perils of TypeScript, in a funny way. It’s easy to get lost writing a complex verifier for your model using the fantastic type system… and then wake up the next morning and remember that at some point you’ll need to actually implement the logic.

And you’ll probably give up and end it with `return result as unknown as ComplexVerifierType<A, B, C>` anyway.