Я вчера, после того как кинул сюда свой комментарий-вопрос, потратил некоторое время на изучение состояния дел в хаскеле. Насколько я понял, сейчас в ghc этот механизм не работает (хотя формально в библиотеке есть необходимые декларации исключений и функций). Может быть действительно существуют серьезные трудности в реализации, связанные, в частности, с многопоточностью...