functor(型クラス)
もしかして…functor(モジュール)
カインド * -> * をもつ型fについて map :: (a -> b) -> f a -> f b をもつ型クラス
Haskell では fmap