Agda.Syntax.Parser.StringLiterals