Нисколько. Обычно к написанию типов(для функций), я приступаю тогда, когда не могу собрать функцию. В остальных случаях есть команда i в интерпретаторе(пусть компьютер пашет за меня и выведет типы сам). Первый этап зачастую выпадает. А типизацию более жесткой/надёжной можно сделать и после.