а зачем? В локальных функциях сингнатура и так зачастую выводится, в том числе и человеком, лишняя сигнатура может захламить простой код и сделать его сложнее читаемым
больше кода это не всегда хорошо, как и меньше кода, код где на всех определениях есть сигнатуры не сильно лучше кода без сигнатур вовсе, должен быть какой-то баланс, когда человек сам решает, что вот тут сигнатура поможет, а вот тут никакого смысла в ней нет, но в болшинстве случаев она все равно не нужна
а если для toplevel-функций не писать (ну т.е. писать только тогда, когда компилятор не понимает), пацаны застремают?