Add type of if_none to argument type in body