Desugar map, but resolving fails