Control.Category.Dual
data Dual k a b