函子

可以將 Functor 視為某個值或計算上下文的容器。例如 Maybe a 或 [a]。 Typeclassopedia 文章對 Functors 背後的概念進行了很好的描述。

要被視為真正的 Functor，例項必須遵守以下兩條準則：

身分

fmap id == id

組成

fmap (f . g) = (fmap f) . (fmap g)