WIP: Remove invalid state from Haskell 98 data structures
You can have a forall with no (existential) variables, but not variables without a forall!
Relates to #16762 (closed)
CC @RyanGlScott
You can have a forall with no (existential) variables, but not variables without a forall!
Relates to #16762 (closed)
CC @RyanGlScott