Agda.Utils.Suffix

data Suffix

nextSuffix

suffixView

addSuffix