Data.Bifunctor.Join
data
Join
p a