А всё, до меня дошло как народ умудряется писать без строгой типизации... извращение однако.

Al Lastor
Принцип Red-Green-Refactor.
Напиши тест, который проваливается. Напиши код так, чтобы тест перестал проваливаться. Отрефактори код, чтобы он стал красивым.

Блин, мне это что-то напоминает.
Напиши типы на входе и на выходе которым должна удовлетворять функция, если порядок аргументов значим, перепиши тип так, чтобы его нарушение стало невозможным. Напиши функцию удовлетворяющую этому типу. Произведи обобщение предыдущего кода с учётом нового.

извращенец

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

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

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