>>625
> このとき、次の式の型が String -> Int になる理由が分かりません。
> fmap one rev

ならなくね？
(fmap one) . rev なら、 String -> [Int]になる。