Data.Semigroupoid
class
Semigroupoid
c
data
WrappedCategory
k a b
data
Semi
m a b