Data.Bifunctor.Join

data Join p a