Compilation failure with aeson-2

[andreasabel]

To stay in Stackage, we need to upgrade to aeson-2.
Currently, this produces a build failure, so we cannot simply relax the upper bound.

[332 of 404] Compiling Agda.Interaction.JSON ( src/full/Agda/Interaction/JSON.hs, /Users/abel/agda-erasure/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/JSON.o, /Users/abel/agda-erasure/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/JSON.dyn_o ) [Data.Aeson.Types changed]

src/full/Agda/Interaction/JSON.hs:47:10: error:
    • Couldn't match expected type ‘Key’ with actual type ‘Text’
    • In the first argument of ‘(.=)’, namely ‘key’
      In the second argument of ‘($)’, namely ‘key .= toJSON value’
      In a stmt of a 'do' block: pure $ key .= toJSON value
   |
47 |   pure $ key .= toJSON value
   |          ^^^