Agda.Syntax.Fixity
data Fixity'
data Fixity
data Precedence