Agda.Auto.Typecheck
type HNNBlks o
data HNRes o
data PEval o
data CMode o
data CMFlex o