TypeOperators
data
a
:-:
b
data
(a
:+:
b) c
data
Op
a b
data
O
g f a
class
a
<=>
b
biO
f
g
x
y