more experiments on validation monad