
    * Self-defined binary operators take priority over the template
      instantiations: it's always possible to outguess/outperform the template
      definitions. 

