actually fix list desugar