Module Batteries.Legacy.Lazy

module Lazy: Lazy