为什么Haskell中没有`Cofunctor`类型类？

Functor 定义为：

class Functor f where
    fmap :: (a -> b) -> (f a -> f b)

Cofunctor 可以定义如下：

class Cofunctor f where
    cofmap :: (b -> a) -> (f b -> f a)

因此，两者在技术上是相同的，这就是为什么Cofunctor不存在的原因。“'一般功能'的双重概念仍然是'一般功能'”。

由于Functor和Cofunctor相同，因此使用定义单子和共母Functor。但是不要让那让您认为单子和共母是同一回事，它们不是。

将单声道定义为（简化）为：

class Functor m => Monad where
    return :: a -> m a
    (>>=) :: m a -> (a -> m b) -> m b

comonad（再次简化）是否为：

class Functor w => Comonad where
    extract :: w a -> a
    extend :: (w a -> b) -> w a -> w b

注意“对称性”。

另一件事是逆函子，定义为：

import Data.Functor.Contravariant
class Contravariant f where
    contramap :: (b -> a) -> (f a -> f b)