Login
From:
ghc.gitlab.haskell.org
(Uncensored)
subscribe
6.11.1. Explicit universal quantification (forall) — Glasgow Haskell Compiler 9.15.20250908 User's Guide
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/explicit_forall.html
links
backlinks
Roast topics
Find topics
Find it!
6.11.1.1. The forall-or-nothing rule¶
