Agda.Syntax.Literal

data Literal