Agda.Utils.Suffix
data
Suffix
nextSuffix
suffixView
addSuffix