mlyamasov

Отвечаю себе.
Удалось найти облако с Windows Server 2019, 64 bit.
В этом облаке скачал старую версию Haskell Platform.
Новых версий Haskell Platform нет, вместо этого предлагают какое-то Chocolatey с регистрациями и СМС.
В результате получил, что sizeOf (undefined :: Int) = 8.

Раз оператор (<$>) infixl, то исходное выражение эквивалентно следующему:
(succ <$> succ) <$> "abc".
Следовательно (succ <$> succ) имеет тип (Char -> Char).
Следовательно вторая и первая функции succ в скобках имеют тип (Char -> Char).
Следовательно ответ: (Char -> Char) -> (Char -> Char) -> (Char -> Char).

Обратите внимание на следующий instance:

instance Functor ((->) r) where
    fmap = (.)

Потому что применение функции имеет больший приоритет.
В скобки нужно взять композицию: (prod . fun) (>).