Functor
関手（Functor）は map 演算を持つ型構成子であり、コンテナの構造を変えずに、内部の値に関数を適用する。
目的
マッピングを抽象化として統一し、モナドの基礎として、コンテナ内変換を支える。
メカニズム
F<T> は map: F<T> × (T→U) → F<U> を提供する。恒等法則（map(id) = id）と合成法則（map(f∘g) = map(f)∘map(g)）を満たす。List、Option、Future はいずれも関手である。map はコンテナの構造を保ち、内部の値のみを変換する。
ユースケース
- 関数型プログラミング
- コンテナ抽象化
- 統一的なマッピング