Data.Bifunctor.Sum

data Sum p q a b