rm result-type