Newhoggy/document gadt constructor arguments 2

[newhoggy]

Changelog

- description: |
    <insert-changelog-description-here>
# uncomment types applicable to the change:
  type:
  # - feature        # introduces a new feature
  # - breaking       # the API has changed in a breaking way
  # - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - refactoring    # QoL changes
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

Additional context for the PR goes here. If the PR fixes a particular issue please provide a link to the issue.

How to trust this PR

Highlight important bits of the PR that will make the review faster. If there are commands the reviewer can run to observe the new behavior, describe them.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[carbolymer]

This action is quite time consuming, so we should not enable it on every push. I wanted to revisit the pipelines and caching after #437

[carbolymer]

Why can't we use GHC 9.6? Which haddock version will be used then? I think we needed fairly recent one for cabal project haddock to work.

[github-actions]

This PR is stale because it has been open 45 days with no activity.

[github-actions]

This issue was closed because it has been stalled for 60 days with no activity.