Инфиксный аналог fmap

[deni_ok]

В выражении
GHCi> succ <$> "abc" "bcd" оператор <$> имеет тип (Char -> Char) -> [Char] -> [Char]. Верно ли это утверждение для обоих вхождений <$> в следующем выражении
GHCi> succ <$> succ <$> "abc" "cde"