Вывод типа функции не работает для рекурсивных фун...
# russian
d
Вывод типа функции не работает для рекурсивных функций, надо писать тип руками (ну, или alt+enter может помочь).