!==

EqualOps

===

EqualOps

|+|

SemiGroupOps