Renaming type variable from T to Result