Add laziness example I forgot to include