This `leak' is just for the backbone of the vector/list. Are these lists that big? No, wait, this is bogus. The `leak' is only for the backbone, and the backbone for a list is exactly twice the size any way. Well, twice if there is an extra indirection. I guess with really big flat elements it could be worse. Is this really what is going on in MLton?