neater Lazy initialized object
Nicer make_lazy