Agda.Compiler.Treeless.EliminateDefaults
eliminateCaseDefaults