Warning mentions GHC-8.12 in GHC-9.0
-funfolding-keeness-factor=100 is deprecated: -funfolding-keeness-factor is no longer respected as of GHC 8.12
-funfolding-keeness-factor=100 is deprecated: -funfolding-keeness-factor is no longer respected as of GHC 8.12