functor 是函子

fmap 实际上就是一个 类型 T(a) -> T(b) 的一个映射。

======================

为什么 fmap id = id ？首先 id 的类型是 a -> a ，你给 fmap 了以后， fmap id 是不是变成了 T(a) -> T(a) 了？现在令 T(a) 为 a ，是不是 fmap id 又变回 a -> a 了？

为什么 fmap (f . g) = fmap f . fmap g 呢？
假设 f : a -> b, g: b -> c ，那么 f . g : a -> c
f . g : a -> c
famp (f . g) : T(a) -> T(c)

fmap f : T(a) -> T(b)
fmap g : T(b) -> T(c)
fmap f . fmap g : T(a) -> T(c)

所以 fmap (f .g) = fmap f . fmap g