Agda.Termination.TermCheck
type Result