Rebase.Data.Semigroup.Bitraversable