Using the lazy List() functor