Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The import of ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Control.Monad.Extra’ is redundant

The import of ‘Data.Tuple.Extra’ is redundant

The import of ‘Development.IDE.Core.PluginUtils’ is redundant

The import of ‘Development.IDE.Core.PositionMapping’ is redundant

The import of ‘Development.IDE.Core.Service’ is redundant

The import of ‘Development.IDE.GHC.Compat’ is redundant