Data.Functor.Const.Compat
data
Const
k a b