Agda.Utils.Suffix
data Suffix