feature: type mutation through validators.