TODO: Resolve, Desugar