body comes through with the correct type definition given by the validator, e.g. Type instantiation is excessively deep and possibly infinite error when calling validateBody.body in the handler to the expected type (since at that point it has passed validation and I know that it conforms to the expected type)?