Agda.Compiler.Agate.Classify
allM
andM
enumTypeFamilies
enumCompilableTypeFamilies
enumOptimizableConstants
computeGreatestFixedPoint
computeLeastFixedPoint