resugar :: Resugarable a => TyCtx -> a -> SlM RExp
resugar decls expr = runDesugarM decls emptyEnv (resugarM expr)
resugar :: Resugarable a => TyCtx -> a -> SlM RExp
resugar decls expr = runDesugarM decls emptyEnv (resugarM expr)
resugar decls expr = runDesugarM decls emptyEnv (resugarM expr)