try :: Exception e => IO a -> IO (Either e a)

[sebastian-philipp]

Have you thought about implementing

// try :: Exception e => IO a -> IO (Either e a)
template <FnT, HandlerT>
std::variant<T, std::exception> try_(FnT, HandlerT);

as well? See https://hackage.haskell.org/package/base-4.10.1.0/docs/Control-Exception.html#v:try