reader monad in DB sample