with `-XNoExplicitForAll` and the snippet ```hs my_id :: forall a. a -> a my_id x = x ``` ghc throws an error and suggests the following: ``` Perhaps you intended to use RankNTypes or a similar language extension to enable explicit-forall syntax: forall <tvs>. <type> ``` this seems entirely wrong to me, because the extension for enabling this syntax is `-XExplicitForAll` which could be suggested here. `RankNTypes` implies `ExplicitForAll`, but you get the same error message if you attempt to compile the above with `-XRankNTypes -XNoExplicitForAll`. In my opinion the error message should instead say: ``` Perhaps you intended to use the ExplicitForAll language extension to enable explicit-forall syntax: forall <tvs>. <type> ```