The `-Wforall-identifier` is part of the accepted proposal [“Visible forall in types of terms”](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0281-visible-forall.rst). I will implement.