More precise LANGUAGE pragma when forall is used
In all cases when a user attempts to use the
forall keyword, GHC suggests enabling
RankNTypes. This seems suboptimal, since a more direct way to enable just the syntax is
ExplicitForAll. So maybe we should just suggest that instead.
In some cases, the user will immediately thereafter have to add
ExistentialQuantification, etc. So it would be more user friendly to suggest the appropriate extension directly. I don't know how much harder this would be to do.
|Component||Compiler (Type checker)|