(module Lazy_list)