and then "validation" is taken care of by whatever

@rule

produces the

datatype

, as a gross overgeneralization