Rebase.Data.Bifunctor.Product