Data.Semigroupoid.Ob