Data.Functor.Const.Compat
data
Const
a b