Предупреждение о отсутствии сигнатур типов

ты не доверяешь компилятору? :)

Сигнатура чаще всего красноречиво говорит о том, что эта функция делает. Иногда без них будут некорректно выводиться типы в других местах. Hoogle ищет по сигнатурам.

Доверяй, но проверяй :) Я б давал ворнинг только для экспортируемых функций модуля. Но авторы гхц наверняка умнее чем я, может я чего-то не понимаю?

Сигнатура чаще всего красноречиво говорит о том, что эта функция делает.

Для сложных фунций - да. Но если определен какой-то тривиальный хелпер, типа incrementAll = map (+1)

Hoogle ищет по сигнатурам.

Для экспортируемых функций задавать бесспорно стоит. Но не все ж экспортируется, далеко не все.

бонус например в том, что не будет лишнего полиморфизма.

если для реальной жизни делаешь - пиши, если так, поиграться, то дело твоё.

Стоит добавить, что время выполнения чаще всего сильно зависит от глубины полиморфности.

А то не ясно в чём бонус.

incrementAll = map (+1)

Можно его в where поместить, там отсутствие сигнатур не вызовет предупреждений. Либо вообще не писать таких очевидных вещей (map (+1) понятнее ИМХО).

А так сигнатуры не помешают - документация, пусть и очевидная, ограничение полиморфизма и специализация, спецификация самого кода.

Например, если нужно не incrementAll :: Num a => [a] -> [a], а incrementAll :: [Int] -> [Int]. Или вот так:

sendAll ms a = mapM (a !) ms
-- опечатка, будет
sendAll :: [a] -> Actor a -> IO [a]
-- а нужно
sendAll :: [a] -> Actor a -> IO ()
-- которая вынудит написать mapM_

throwing = throw
-- + NoMonomorphismRestriction и будет
throwing :: Exception e => e -> a
-- а хочется
throwing :: SomeException -> IO a

Ну, надо сказать, конкретно в случае GHC -Wall содержит и варнинги, которые любой несвихнувшийся на тотальной корректности человек будет игнорировать.

а не удовлетворение эстетических прихотей какого-то академического старпера

Тогда бросай хаскель.