Agda.Syntax.Literal
data Literal