In Scala 3, why is it sometimes possible to do impredicative type assignment?...

Why is impredicative polymorphism allowed only for functions in Haskell?...

How to avoid impredicative polymorphism and define lens of lens...

Ways around impredictive polymorphism...

Disallow assignment of values...

How to non-impredicatively return `Maybe` a lens?...

Why are higher rank types so fragile in Haskell...

How to make impredicative types work with type classes...

Impredicative types vs. plain old subtyping...

Why does this equivalent program not compile?...

How does let interact with higher rank types in Haskell?...

General 'typeless' STack in Haskell...

Practical Implications of runST vs unsafePerformIO...

Existential quantifier in coq impredicative logic (System F)...

Simple example for ImpredicativeTypes...

Row polymorphism in Haskell: trouble writing Forth DSL with "transformations"...

Why doesn't this typecheck?...