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

Mikie, на каком этапе проблемы, скомпилировать код или заставить работать скомпилированный?

Mikie если лень отлаживать попробуй усилить типизацию.
Про типизацию
Если нет, http://eax.me/haskell-debug-trace/