Data.Semigroupoid.Static