Manually declare output type for a validation - arktype