lazy loading: factored out 'LazyList', renaming