Lazy initial value for fold