Class DataConstructors.Lazy