[Agda] More aggressive `with`: Please check your Agda-2.4.2 developments!

[effectfully]

Hi. I'm getting

    cabal: The following packages are likely to be broken by the reinstalls:
    Agda-2.4.3
    Use --force-reinstalls if you want to install anyway.

Where should I put "--force-reinstalls"?