Haskell 为什么要进行这种类型检查

Question

import Data.Monoid

newtype Constant a b =
    Constant { getConstant :: a }
    deriving (Eq, Ord, Show)

instance Functor (Constant a) where
    fmap _ (Constant a) = Constant a

instance (Monoid a) => Applicative (Constant a) where
    pure x = Constant (mempty x )
    _ <*> (Constant a) = Constant a

--:t (<*>)
--(<*>) :: Applicative f => f (a -> b) -> f a -> f b

--:t Constant (Sum 1)
--Constant (Sum 1) :: Num a => Constant (Sum a) b

--Constant (Sum 1) <*> Constant (Sum 2)
--Constant { getConstant = Sum { getSum = 2 }}

我的问题是为什么最后一个语句类型要检查？

我预计 <*> 的左侧是 f ( a -> b) 类型
哪里
f = 常数
(a -> b) = 总和 1？

我无法应用任何内容(Sum 1)，因为它已完全应用，但此语句可以编译。

Answer 1

左边是f (a -> b)。这是正确的。

记住这里的类型(为了简单起见，让我们使用1::Int):

Constant (Sum 1) :: forall a. Constant (Sum Int) a

我添加了显式的forall。类型检查器可以将 a 与任何内容统一起来。

试试这个:

Constant (Sum 1) :: Constant (Sum Int) (a -> b)

工作正常。