stuff

data a :-: b

data (a :+: b) c

data Op a b

data O g f a

biO