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