Agda.Compiler.Treeless.EliminateLiteralPatterns
eliminateLiteralPatterns
data
BuiltinKit
transform