Agda.Syntax.Literal

data Literal

showString'

showChar'