I have a function which takes a value, a type annotation, and validates that the value is of the type.