To provide stronger types in some cases? To opt into in performance-sensitive programs? To see if it can be made less burdensome if different tradeoffs are made?
As another commenter put,
> The paper explains it's because they want deterministic destructors for things like file handles.