specifies a precedence level from 0 to 9 (with 9 being the strongest; normal application is assumed to have a precedence level
of 10), and left- (infixl) , right- (infixr), or non-associativity (infix)