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