let fail x : (_, _) result = `Error x