Agda.Compiler.Epic.Static
normaliseStatic
evaluateCC
etaExpand
class
Evaluate
a