表明`newtype T a = T（a-> Int）`是不是构造函数的类型构造函数

给定

newtype T a = T (a -> Int)

让我们尝试Contravariant为此数据类型构建实例。

这是有问题的类型类：

class Contravariant f where
  contramap :: (a -> b) -> f b -> f a

基本上，contramap是类似于fmap，但而不是提升的功能a -> b到f a -> f b，它抬起它f b -> f a。

让我们开始编写实例...

instance Contravariant T where
  contramap g (T f) = ?

在填写之前?，我们先考虑一下g和的类型f：

g :: a -> b
f :: b -> Int

为了清楚起见，我们不妨提到

f a ~ T (a -> Int)
f b ~ T (b -> Int)

因此我们可以填写?以下内容：

instance Contravariant T where
  contramap g (T f) = T (f . g)

是超级迂腐，你可能会重命名g为aToB和f作为bToInt。

instance Contravariant T where
  contramap aToB (T bToInt) = T (bToInt . aToB)

您可以为编写Contravariant实例的原因T a归结a为在中处于相反位置的事实T (a -> Int)。说服自己T a不是最好的方法Functor是尝试（失败）自己编写Functor实例。