Control.Category.Dual
data
Dual
k a b