A small refactoring in the code for desugaring explicit lists