Для решения задачи нужно подумать над формулой n! = n*(n-1)! . Достаточно одного цикла так как 0! == 1, а n-1 это результат предыдущего витка цикла, который сохраняется у нас в отдельной переменной.
Ещё можно извратиться и, как я, запихать формулу в рекурсивную функцию)))

Rodegast
А в чём проблема? Если что-то не понятно спрашивай, объясню как могу.

объясните пожалуйста мне…. не понимаю, как работает Haskell со стеком. как он помещает в него функции и ее параметры.

> не понимаю, как работает Haskell со стеком. как он помещает в него функции и ее параметры.

Да в общем то он с ним никак не работает. Haskell это декларативный язык, всей низкоуровневой работой занимается компилятор и его runtime.