Class TypeConstructors.Lazy