Полиморфные функции в типах записей Haskell

Question

Я наткнулся на поведение, которое я не могу объяснить в Haskell. Я пытаюсь сохранить полиморфную функцию в типе записи, которую я хочу использовать в ReaderT Monad. Когда я получаю свою функцию с asks, компилятор не распознает ее как полиморфную и, похоже, фиксирует тип при первом возникновении функции. Я создал минимальный пример в GHCI:

{-# LANGUAGE Rank2Types    #-} 

data Test = Test {f :: (forall a. a -> a)} 

runReaderT (asks f 
      >>= \f -> (liftIO . putStrLn $ show (f 2 :: Int)) 
        >> (liftIO . putStrLn $ show (f "hello")) 
      ) (Test id) 

При попытке запуска этого я получаю:

Couldn't match expected type ‘Int’ with actual type ‘[Char]’ 
In the first argument of ‘f’, namely ‘"hello"’ 
In the first argument of ‘show’, namely ‘(f "hello")’ 
In the second argument of ‘($)’, namely ‘show (f "hello")’ 

Однако следующий код работает:

runReaderT (ask 
      >>= \(Test f) -> (liftIO . putStrLn $ show (f 2 :: Int))  
          >> (liftIO . putStrLn $ show (f "hello")) 
      ) (Test id) 

Так это что-то специальный с asks? Я благодарен за любые советы по этому поводу.

Answer 1

Последний раз, когда я проверил, GHC не смог вывести более высокие типы рангов. Таким образом, если у вас есть

\f -> ... f x .... f y 

f никогда не может быть полиморфными.

Существует только два места, где тип некоторой переменной настолько очевиден, что вывод типа распознает более высокий тип ранга: в шаблонах, которые объявляют более высокие поля ранга и в LHS аннотированных функций.

Он также должен работать, чтобы дать тип явно, как в

\(f :: forall a.a -> a) -> .... f x ... f y