Papa.Semigroupoids.Implement