Hi! In module Control.Exception there are the exception predicates errorCalls and userErrors defined. Is there any difference between them? Which one? Thanks for any explanations, and maybe it should be documented in more detail? Kind regards, Andreas