lazy redis
Add a first fully-fledged example.