Control.Category.Dual

data Dual k a b