Agda.Compiler.Treeless.Identity

detectIdentityFunctions