Agda.Syntax.Fixity
data Fixity
data Precedence