Adds an example of using polymorphic validation functions