[Haskell-cafe] throwDynIO ?

[Carlos Pita]

Hi all!

I'm a newcomer to haskell programming with a lisp/scheme background.
Last week I've been reading a lot about the monadic approach to IO and
I should said I'm pretty fascinated about the flexibility it allows.
Currently I'm trying to grasp haskell exception handling and although
I find it mostly clear I'm a bit confused regarding the lack of a
throwDynIO action "paralelling" throwIO, as there are dynamic variants
for the other throw functions:

throwDyn  - throw
throwDynTo - throwTo

I understand that the same effect could be conjured up by

throwIO (DynException (...)))

magic. But the lack of symmetry still disturbes me. Am I missing something?

Thank you in advance.
Regards,
Carlos