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

[deniok]

В выражении

GHCi> succ <$> "abc"
"bcd"

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

GHCi> succ <$> succ <$> "abc"
"cde"

Comments

[sassa-nf.livejournal.com]

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