Data.Functor.Coproduct
data
Coproduct
f g a
left
right
coproduct