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

[deni_ok]

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

Comments

[sassa_nf]

нет, т.к. <$> левоассоциативный. Соответственно, тип (<$>) соответствует функтору ((->) r), и равен (.).