Update for Semigroupoid.