Data.Functor.Contravariant.Compat