semigroupalK
tagless