Data.Semigroupoid.Ob
class
Ob
k a