purescript-exceptions is not type safe. You can catch an exception of the wrong type. We need to change the types so that catchException brings an exception of some abstract type (Foreign?) into scope.