Robuta

https://downloads.haskell.org/~ghc/9.8.3/docs/users_guide/exts/impredicative_types.html 6.4.18. Impredicative polymorphism — Glasgow Haskell Compiler 9.8.3 User's Guide glasgow haskell compiler impredicative polymorphism user guide https://gitlab.haskell.org/ghc/ghc/-/wikis/impredicative-polymorphism impredicative polymorphism · Wiki · Glasgow Haskell Compiler / GHC · GitLab · GHC The Glorious Glasgow Haskell Compiler. glasgow haskell compiler impredicative polymorphism wiki ghc gitlab