semigroupoids dependency is no longer necessary