Data.Semigroupoid.Dual
data
Dual
k a b