Validator<'T, 'U> Type

A validator that transforms input of type 'T to output of type 'U