Data.Semigroupoid.Dual

data Dual k a b