Имя оператора может состоять из следующих символов или их комбинации:

! # $ % & * + . / < = > ? @ \ ^ | - ~ :

Определить левоассоциативный оператор с приоритетом 6:

infixl 6 *+*

Определить правоассоциативный оператор с приоритетом 7:

infixr 7 *+*

Определить неассоциативный оператор:

infix 7 *+*

Определить тело оператора:

a *+* b = a ^ 2 + b ^ 2

Либо в префиксной форме:

(*+*) a b = a ^ 2 + b ^ 2

Теперь оператор можно использовать:

3 *+* 4

> 25