Higher rank types are types containing type variables that are locally quantified.
I am not really proficient in Haskell, so this might be a very easy question. What language limitation do Rank2…