Agda.Utils.Suffix
data
Suffix
suffixView
addSuffix