haskell - 为什么显式写入类型 `Product Int` 适用于任何 `Num` 类型？

Question

特别是，这个表达式编译:

x = 4 :: Product Int

为什么文字 4 可以是 Product Int，即使它的类型是 Num a => a？

Answer 1

4 是带有类型注释的表达式。 未注释 表达式的类型为 Num a => a，但注释强制类型为 Product Int。

注解是合法的，因为每当 a 有一个 Num 实例时，Product a 就有一个 Num 实例( Int 有:

> :info Product
newtype Product a = Product {getProduct :: a}
[...]
instance Num a => Num (Product a)
[...]
> Product 3 + Product 5
Product {getProduct = 8}