> Perhaps, vector create is too ambitious. I'd be happier with an unfold > operation. We already have that. http://mlton.org/MLtonVector > It also avoids the need for a dummy initial value too. No dummy value is required in the implementation of Vector.create using primitive operations.