Agda.Auto.Typecheck
data HNRes o
data PEval o