相关疑难解决方法(0)

这种类型让我大吃一惊:

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

然后我读了这个,但与标题相反,我不再开悟了.

有人可以解释逆变函子是什么以及一些例子吗？