Error: incorrect signature for Infix feature. 
What to do: make sure that the Declaration_body describes a function
  with exactly one argument, or choose a non-Infix name.
