type of the result continuation, since the RETURN of functions that only do tail local calls will be deleted.