Data.Semigroupoid.Ob

class Ob k a