let return x : (_, _) result = `Ok x