Add applicative validation example, closes #7