(
module
Lazy_sequence
)