LANGUAGE TypeInType is deprecated

[andreasabel]

With GHC 9.14 I am getting these warnings:

Building library for generic-lens-2.2.2.0...
src/Data/Generics/Product/Fields.hs:12:14: warning: [GHC-53692] [-Wdeprecated-flags]
    -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead
   |
12 | {-# LANGUAGE TypeInType              #-}
   |              ^^^^^^^^^^

Maybe one can simply implement the advice here, which is hopefully backwards compatible:

use -XDataKinds and -XPolyKinds instead

[phadej]

Maybe one can simply implement the advice here,

You cannot without dropping support for (at least) GHC-8.4

See https://gitlab.haskell.org/ghc/ghc/-/issues/26214

[andreasabel]

I suppose dropping GHC 8.4 would be ok nowadays. Even ubuntu-20.04 (which had its EOL) ships a more recent GHC.