When a type is a composition of well-known types, we can validate this composition based on the existing validators of the parts.
This won't allow us full validation, e.g. to ensure that the type positive integer only consists of digits, but it will allow us to validate a larger number of tasks.