(module Lazy_m)