TypeOperators
stuff
data
a
:-:
b
data
(a
:+:
b) c
data
Op
a b
data
O
g f a
biO