(module Lazy_sequence)