Added infixr to $