Rebase.Data.Semigroupoid.Dual