Use Reader Monad in validation