Simplify destructuration