STE Monad an ST monad sibling with efficient typed aborting exceptions that can only be handled at the runSTE/handleSTE toplevel runner.
