destructuring extension of let*