>>60
>fact 0 = 1の結果はすぐ反映されるんじゃないの？
ようするにそこでとまる

数学の階乗だから　fact nの引数は再帰する度に-1される。
どこかで、factの引数が0になったら、それ以上は再帰しない

難しい話じゃないし、他の言語で再帰理解していたら、分かるはず
自分で落ち着いて考えてごらん