It's not operator overloading. It's using symbols as function names. Some operators like (<>) may have different implementations based on the Monoid instance of

It's not operator overloading. It's using symbols as function names. Some operators like (<>) may have different implementations based on the Monoid instance of the underlying types, but they are based on laws which is different from say Python where >> can mean anything based on the context (even though it is used sparingly there).