do handle (\NonTermination -> exitWith (ExitFailure 1)) $ ...
proc p -> ... body `handle` \ex -> handler
>>> handle f s = StreamK.fromStream $ Stream.handle (\e -> StreamK.toStream (f e)) (StreamK.toStream s)
>>> runPureEff $ handle (pure . show) $ \e -> do throw e 42 pure "No exception thrown" "42"