O ile mi wiadomo, istnieje rozstrzygalny algorytm sprawdzania typu (tylko) dla typów rangowych-2. Czy GHC używa w jakiś sposób tego faktu i czy ma jakieś praktyczne implikacje?Czy są jakieś zalety korzystania z Rank2Types na rzecz RankNTypes?
Czy istnieje również pojęcie głównych typów dla typów rangowych 2 i algorytm wnioskowania o typie? Jeśli tak, czy GHC go używa?
Czy są jakieś inne zalety typów rang 2 zamiast pozycji n typów?