Data.Functor.Constant
data
Constant
a b