Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
These differences via eta expansion/reduction are probably due to simplified subsumption introduced in GHC 9.0 (also see the linked GHC proposal.
Non-authorative summary: Allowing the eta-reduced variants to typecheck can lead to subtle changes in semantics (involving bottom and seq). But more importantly, disallowing them to typecheck enables "Quick Look Impredicativity" (also see the linked paper), which is now the mechanism behind ImpredicativeTypes since GHC 9.2 (before 9.2, this extension was basically unsupported).
The simple way is cabal install --lib random, but unfortunately it barely works.