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

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

This binding for ‘pred’ shadows the existing binding

This binding for ‘pred’ shadows the existing binding

This binding for ‘pred’ shadows the existing binding

This binding for ‘p’ shadows the existing binding

No variables bound in the record wildcard match are used

This binding for ‘p’ shadows the existing binding

This binding for ‘p’ shadows the existing binding

This binding for ‘p’ shadows the existing binding

Top-level binding with no type signature:

Top-level binding with no type signature: