Data.Profunctor.Choice
class Choice p
data TambaraSum p a b
tambaraSum
untambaraSum
data PastroSum p a b
class Cochoice p
data CotambaraSum q a b
cotambaraSum
uncotambaraSum
data CopastroSum p a b