(module Stdlib__lazy)