Agda.Syntax.Literal
data
Literal