It's a marker that the analysis of laziness is incomplete.  (Todo is clarify the comment at 922, unlazy the vals at 956.)  If I follow up with a minor refactor of takeDestructively, I will follow your advice and let the dead bury the dead.