GHC不能推断的功能类型从名为`ReaderT（代理p）的IO（）`

Question

下面的代码编译：

import Control.Monad.Trans.Reader 
import Data.Proxy 

f1 :: ReaderT (Proxy p) IO() 
f1 = f2 

f2 = undefined 

GHC知道的f1类型：

> :t f1 
f1 :: ReaderT (Proxy p) IO() 

但它可以” t找出类型f2：

> :t f2 
f2 :: t 

怎么了？

我的想法是将Proxy放入阅读器中，这样我就不必传递它。不知怎的，这是一个问题吗？

Answer 1

没什么不对。类型检查做搞清楚的f2类型 - 在ghci的输出再看看：

ghci> :t f2 
f2 :: t 

t是forall t. t简写。 f2可以采取任何类型。这是有道理的 - 毕竟，我们是f2 = undefined。

ghci> :t undefined 
undefined :: a 

当你写f1 = f2，你使用f2在更具体的类型的ReaderT (Proxy p) IO()。 ReaderT (Proxy p) IO()是实例化类型t的一种方式。换句话说，类型推断算法已经产生了简单的统一约束t ~ ReaderT (Proxy p) IO()。