Agda.Syntax.Literal
data
Literal
showString'
showChar'