imprecise-exceptions.md

@@ -31,3 +31,5 @@ Exceptions may be thrown by pure code and caught in the `IO` monad.
 
 
 - complicates denotational semantics a little
+- very tricky to implement properly
+- requires non-trivial run-time support and implementation constraints