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

Rule "addOneCommutative" may never fire

Rule "doubleNegative" may never fire

Rule "doubleNegative" may never fire

Rule "maybeForceZero" may never fire

Rule "maxWithSelf" may never fire

Rule "addOneJust" may never fire because ‘just’ might inline first

Rule "addOneJust" may never fire

Rule "justJust" may never fire because ‘just’ might inline first

Rule "plusDouble" may never fire because ‘t2’ might inline first

Rule "polymorphism" may never fire because ‘nop’ might inline first

A do-notation statement discarded a result of type

A do-notation statement discarded a result of type

This binding for ‘stdout’ shadows the existing binding

A do-notation statement discarded a result of type

The import of ‘Text.Read’ is redundant

The import of ‘Data.Monoid’ is redundant

Defined but not used: ‘u’

Defined but not used: ‘b’

Defined but not used: ‘t’