enum IOError with Eq, Order, ToString, Hash, Sendable
case Generic(String)
def tryCatch(f: Unit -> a \ IO): Result[IOError, a] \ IO