Data.Functor.Constant

data Constant a b