Haskell-mouse authored Feb 28, 2019 and Marge Bot committed Mar 25, 2019

Adds the mention that extensions "AllowAmbiguousTypes" and "RankNTypes"
are not always compatible with each other.
Specifies the conditions and causes of failing in resolving
of ambiguity.