Safe destructuring could be achieved with Church encoding.