Agda.TypeChecking.CompiledClause.Match
type Stack