>>625
fmap :: (Functor f) => (a -> b) -> f a -> f b
one :: x -> Int
rev :: String -> String
だから、
a = String
b = Int
f = (->) String
よって、結果の型は、
f b = (->) String Int = String -> Int

ポイントは、一つの型rからの関数が一つのFunctorであること
instance Functor ((->) r)