Agda.Utils.Suffix

data Suffix

suffixView

addSuffix