Hi Emmanuel,
It is indeed good practice to write total programs in general. However, I understand the need for stack traces in practice.
There are some slides by Simon Marlow on the issue, ironically using your example in the title.
Hope this helps,
Ozgur