The validation monad in php