Module Batteries.Legacy.Lazy


module Lazy: Lazy