[WIP] Fix the failing GitHub Actions job 'Check / fourmolu'

[Copilot]

• Inspect recent workflow runs and retrieve logs for failing Check / fourmolu job
• Identify root cause and locate the minimal code change needed
• Implement a surgical fix and add/update focused tests if applicable
• Run targeted formatting/tests to validate the fix
• Run automated code review and CodeQL checks, then finalize