排名-1型需要Rank2Types擴展

Question

Haskell wiki page上排名-N-類型告訴這類

forall a . a -> (forall b . b -> a) 

有排名1.我相信這個事實，似乎可以理解爲我（記住我已經知道如何確定函數的排名）。然而，當我試圖寫下面的代碼：

{-# LANGUAGE ExplicitForAll #-} 

foo :: forall a . a -> (forall b . b -> a) 
foo = undefined 

它不會編譯（GHC 8.0.1），導致下一個錯誤：

• Illegal polymorphic type: forall b. b -> a 
    Perhaps you intended to use RankNTypes or Rank2Types 
• In the type signature: 
    foo :: forall a. a -> (forall b. b -> a) 

所以我想知道：確實foo型真有Rank-2？或者GHC只是沒有一些智能機制來檢測函數的真實等級？有時在教育目的，我想有一些ghci命令狀rank檢查功能類型的真正的行列......

ghci> :rank foo 
foo :: forall a . a -> (forall b . b -> a) -- Rank 1